parma_polyhedra_library::Partial_Function Class Reference
[Java Language Interface]

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

Inheritance diagram for parma_polyhedra_library::Partial_Function:
Inheritance graph
[legend]
Collaboration diagram for parma_polyhedra_library::Partial_Function:
Collaboration graph
[legend]

List of all members.

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.

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

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().


Member Function Documentation

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.


The documentation for this class was generated from the following file:
Generated on Sun Feb 27 16:23:05 2011 for PPL Java Language Interface by  doxygen 1.6.3