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). |
In order to specify how space dimensions should be mapped by methods named map_space_dimensions
, the user should implement this interface.
interfaces/Java/tests/Test_Partial_Function.java
. 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
.