parma_polyhedra_library.Partial_Function Class Reference

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

Inherits parma_polyhedra_library.PPL_Object.

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

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.

Member Function Documentation

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

---

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

• Partial_Function.java