Package apron

Class PolkaGrid

java.lang.Object

apron.Manager

apron.PolkaGrid

public class PolkaGrid
extends Manager

Manager factory for the reduced product of the Polka convex polyhedra and PplGrid the linear congruence equalities domains.

Field Summary

Fields inherited from class apron.Manager

FUNID_ADD_DIMENSIONS, FUNID_ADD_RAY_ARRAY, FUNID_APPROXIMATE, FUNID_ASSIGN_LINEXPR_ARRAY, FUNID_ASSIGN_TEXPR_ARRAY, FUNID_BOTTOM, FUNID_BOUND_DIMENSION, FUNID_BOUND_LINEXPR, FUNID_BOUND_TEXPR, FUNID_CANONICALIZE, FUNID_CLOSURE, FUNID_COPY, FUNID_DESERIALIZE_RAW, FUNID_DIMENSION, FUNID_EXPAND, FUNID_FDUMP, FUNID_FOLD, FUNID_FORGET_ARRAY, FUNID_FPRINT, FUNID_FPRINTDIFF, FUNID_FREE, FUNID_HASH, FUNID_IS_BOTTOM, FUNID_IS_DIMENSION_UNCONSTRAINED, FUNID_IS_EQ, FUNID_IS_LEQ, FUNID_IS_TOP, FUNID_JOIN, FUNID_JOIN_ARRAY, FUNID_MEET, FUNID_MEET_ARRAY, FUNID_MEET_LINCONS_ARRAY, FUNID_MEET_TCONS_ARRAY, FUNID_MINIMIZE, FUNID_OF_BOX, FUNID_PERMUTE_DIMENSIONS, FUNID_REMOVE_DIMENSIONS, FUNID_SAT_INTERVAL, FUNID_SAT_LINCONS, FUNID_SAT_TCONS, FUNID_SERIALIZE_RAW, FUNID_SIZE, FUNID_SUBSTITUTE_LINEXPR_ARRAY, FUNID_SUBSTITUTE_TEXPR_ARRAY, FUNID_TO_BOX, FUNID_TO_GENERATOR_ARRAY, FUNID_TO_LINCONS_ARRAY, FUNID_TO_TCONS_ARRAY, FUNID_TOP, FUNID_WIDENING, SCALAR_DOUBLE, SCALAR_MPFR, SCALAR_MPQ

Constructor Summary

Constructors

Constructor	Description
PolkaGrid(boolean strict)	Creates a new manager to create and manipulate reduced product of Polka and PplGrid linear congruence equalities.

Method Summary

Methods inherited from class apron.Manager

finalize, getAlgorithm, getFlagBestWanted, getFlagExactWanted, getLibrary, getMaxObjectSize, getPreferedScalarType, getTimeout, getVersion, setAlgorithm, setFlagBestWanted, setFlagExactWanted, setMaxObjectSize, setPreferedScalarType, setTimeout, wasBest, wasExact

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PolkaGrid

public PolkaGrid(boolean strict)

Creates a new manager to create and manipulate reduced product of Polka and PplGrid linear congruence equalities.

If strict is true, then the domain can express strict linear inequalities.