A partial function on space dimension indices. More...


Public Member Functions | |
| Partial_Function () | |
| Builds the empty map. | |
| native void | insert (long i, long j) |
Inserts mapping from i to j. | |
| native boolean | has_empty_codomain () |
Returns true if and only if the partial function has an empty codomain (i.e., it is always undefined). | |
| native long | max_in_codomain () |
| Returns the maximum value that belongs to the codomain of the partial function. | |
| native long | maps (long i) |
If the partial function is defined on index i, returns its value. | |
| native void | free () |
Releases all resources managed by this, also resetting it to a null reference. | |
Protected Member Functions | |
| native void | finalize () |
Releases all resources managed by this. | |
Private Member Functions | |
| native void | build_cpp_object () |
| Builds the underlying C++ object. | |
A partial function on space dimension indices.
This class is used in order to specify how space dimensions should be mapped by methods named map_space_dimensions.
Definition at line 31 of file Partial_Function.java.
| parma_polyhedra_library::Partial_Function::Partial_Function | ( | ) | [inline] |
Builds the empty map.
Definition at line 36 of file Partial_Function.java.
References build_cpp_object().
| native void parma_polyhedra_library::Partial_Function::build_cpp_object | ( | ) | [private] |
Builds the underlying C++ object.
Referenced by Partial_Function().
| native void parma_polyhedra_library::Partial_Function::finalize | ( | ) | [protected] |
Releases all resources managed by this.
| native void parma_polyhedra_library::Partial_Function::free | ( | ) |
Releases all resources managed by this, also resetting it to a null reference.
| native boolean parma_polyhedra_library::Partial_Function::has_empty_codomain | ( | ) |
Returns true if and only if the partial function has an empty codomain (i.e., it is always undefined).
This method will always be called before the other methods of the interface. Moreover, if true is returned, then none of the other interface methods will be called.
| native void parma_polyhedra_library::Partial_Function::insert | ( | long | i, | |
| long | j | |||
| ) |
Inserts mapping from i to j.
| native long parma_polyhedra_library::Partial_Function::maps | ( | long | i | ) |
If the partial function is defined on index i, returns its value.
The function returns a negative value if the partial function is not defined on domain value i.
| native long parma_polyhedra_library::Partial_Function::max_in_codomain | ( | ) |
Returns the maximum value that belongs to the codomain of the partial function.
1.6.3