parma_polyhedra_library::Partial_Function Interface Reference
[Java Language Interface]

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

List of all members.

Public Member Functions

long max_in_codomain ()
 Returns the maximum value that belongs to the codomain of the partial function.
boolean maps (Long i, By_Reference< Long > j)
 Sets j to the value (if any) of the partial function on index i.

Package Functions

boolean has_empty_codomain ()
 Returns true if and only if the partial function has an empty codomain (i.e., it is always undefined).


Detailed Description

A partial function on space dimension indices.

In order to specify how space dimensions should be mapped by methods named map_space_dimensions, the user should implement this interface.

Note:
An example of implementation can be found in the PPL test file interfaces/Java/tests/Test_Partial_Function.java.

Member Function Documentation

boolean parma_polyhedra_library::Partial_Function::has_empty_codomain (  )  [package]

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.

boolean parma_polyhedra_library::Partial_Function::maps ( Long  i,
By_Reference< Long >  j 
)

Sets j to the value (if any) of the partial function on index i.

The function returns true if and only if the partial function is defined on domain value i.


The documentation for this interface was generated from the following file:

Generated on Tue Apr 14 07:13:26 2009 for PPL Java Language Interface by  doxygen 1.5.7.1