A partial function on space dimension indices. More...
Public Member Functions | |
| Partial_Function () | |
| Builds the empty map. More... | |
| native void | insert (long i, long j) |
Inserts mapping from i to j. More... | |
| native boolean | has_empty_codomain () |
Returns true if and only if the partial function has an empty codomain (i.e., it is always undefined). More... | |
| native long | max_in_codomain () |
| Returns the maximum value that belongs to the codomain of the partial function. More... | |
| native long | maps (long i) |
If the partial function is defined on index i, returns its value. More... | |
| native void | free () |
Releases all resources managed by this, also resetting it to a null reference. More... | |
Protected Member Functions | |
| native void | finalize () |
Releases all resources managed by this. More... | |
 Protected Member Functions inherited from parma_polyhedra_library.PPL_Object | |
| PPL_Object () | |
| Builds an object that points to `null'. More... | |
Private Member Functions | |
| native void | build_cpp_object () |
| Builds the underlying C++ object. More... | |
Detailed Description
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.
Constructor & Destructor Documentation
|
inline |
Builds the empty map.
Definition at line 36 of file Partial_Function.java.
References parma_polyhedra_library.Partial_Function.build_cpp_object().
Member Function Documentation
|
private |
Builds the underlying C++ object.
Referenced by parma_polyhedra_library.Partial_Function.Partial_Function().
|
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.
Inserts mapping from i to j.
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.
The documentation for this class was generated from the following file:
