public class Box extends 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 and Description |
|---|
Box()
Creates a new manager to create and manipulate boxes.
|
finalize, getAlgorithm, getFlagBestWanted, getFlagExactWanted, getLibrary, getMaxObjectSize, getPreferedScalarType, getTimeout, getVersion, setAlgorithm, setFlagBestWanted, setFlagExactWanted, setMaxObjectSize, setPreferedScalarType, setTimeout, wasBest, wasExact