Octagon

java.lang.Object

apron.Octagon

public class Octagon extends Manager

Manager factory for the octagon abstract domain.

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

Octagon()

Creates a new manager to create and manipulate octagons.
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
- Octagon
  
  public Octagon()
  
  Creates a new manager to create and manipulate octagons.