Manager

java.lang.Object
- apron.Manager

Direct Known Subclasses:

Box, Octagon, Polka, PolkaEq, PolkaGrid, PplGrid, PplPoly
```
public class Manager
extends java.lang.Object
```
Class of numerical abstract domain instances.
Each abstract domain subclasses the Manager class to provide a Manager factory for the domain. The Manager is itself a factory for abstract elements in the corresponding abstract domain: abstract elements can be constructed and manipulated by passing the Manager instance to the Abstract0 and Abstract1 classes.
A Manager stores a set of abstract domain configuration parameters to tune the cost/precision of the instance of the abstract domain.
Finally, a Manager stores thread-local information. It is safe to call all Apron methods in concurrent threads as long as all arguments (including this, and including the Manager argument) are distinct in all threads.
A Manager object encapsulates an ap_manager_t Apron object allocated in the C heap.

Field Summary

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

Constructor Summary

Constructors
Modifier Constructor and Description

protected Manager()
Managers can only be constructed from an abstract domain Manager subclass.

Constructors
Modifier	Constructor and Description
`protected`	`Manager()` Managers can only be constructed from an abstract domain Manager subclass.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`protected void`	`finalize()` Deallocates the Apron ap_manager_t object.
`int`	`getAlgorithm(int funid)` Returns the current precision level chosen for the given operation (`FUNID_COPY`, etc.).
`boolean`	`getFlagBestWanted(int funid)` Whether the given operation updates the best-precision flag (`FUNID_COPY`, etc.).
`boolean`	`getFlagExactWanted(int funid)` Whether the given operation updates the exactness flag (`FUNID_COPY`, etc.)..
`java.lang.String`	`getLibrary()` Returns the name of the numerical abstract domain library that created the manager.
`int`	`getMaxObjectSize(int funid)` Returns the memory size limit chosen for the given operation (`FUNID_COPY`, etc.).
`int`	`getPreferedScalarType()` Gets the currently chosen preferred scalar type (`SCALAR_DOUBLE`, etc.).
`int`	`getTimeout(int funid)` Returns the current timeout value chosen for the given operation (`FUNID_COPY`, etc.).
`java.lang.String`	`getVersion()` Returns the version of the numerical abstract domain library that created the manager.
`void`	`setAlgorithm(int funid, int precision)` Sets the current precision level for the given operation.
`void`	`setFlagBestWanted(int funid, boolean wanted)` Whether the given operation (`FUNID_COPY`, etc.)
`void`	`setFlagExactWanted(int funid, boolean wanted)` Whether the given operation (`FUNID_COPY`, etc.)
`void`	`setMaxObjectSize(int funid, int size)` Sets a size limit on the memory used by the given operation (`FUNID_COPY`, etc.).
`void`	`setPreferedScalarType(int t)` Sets a preferred scalar type (`SCALAR_DOUBLE`, etc.).
`void`	`setTimeout(int funid, int time)` Sets a timeout for the given operation (`FUNID_COPY`, etc.).
`boolean`	`wasBest()` Whether the last operation with `setFlagBestWanted(int, boolean)` set returned a result which is optimal with respect to the abstraction.
`boolean`	`wasExact()` Whether the last operation with `setFlagExactWanted(int, boolean)` set returned an exact result.

Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - FUNID_COPY
```
public static final int FUNID_COPY
```
    See Also:
    
    Constant Field Values
  - FUNID_FREE
```
public static final int FUNID_FREE
```
    See Also:
    
    Constant Field Values
  - FUNID_SIZE
```
public static final int FUNID_SIZE
```
    See Also:
    
    Constant Field Values
  - FUNID_MINIMIZE
```
public static final int FUNID_MINIMIZE
```
    See Also:
    
    Constant Field Values
  - FUNID_CANONICALIZE
```
public static final int FUNID_CANONICALIZE
```
    See Also:
    
    Constant Field Values
  - FUNID_HASH
```
public static final int FUNID_HASH
```
    See Also:
    
    Constant Field Values
  - FUNID_APPROXIMATE
```
public static final int FUNID_APPROXIMATE
```
    See Also:
    
    Constant Field Values
  - FUNID_FPRINT
```
public static final int FUNID_FPRINT
```
    See Also:
    
    Constant Field Values
  - FUNID_FPRINTDIFF
```
public static final int FUNID_FPRINTDIFF
```
    See Also:
    
    Constant Field Values
  - FUNID_FDUMP
```
public static final int FUNID_FDUMP
```
    See Also:
    
    Constant Field Values
  - FUNID_SERIALIZE_RAW
```
public static final int FUNID_SERIALIZE_RAW
```
    See Also:
    
    Constant Field Values
  - FUNID_DESERIALIZE_RAW
```
public static final int FUNID_DESERIALIZE_RAW
```
    See Also:
    
    Constant Field Values
  - FUNID_BOTTOM
```
public static final int FUNID_BOTTOM
```
    See Also:
    
    Constant Field Values
  - FUNID_TOP
```
public static final int FUNID_TOP
```
    See Also:
    
    Constant Field Values
  - FUNID_OF_BOX
```
public static final int FUNID_OF_BOX
```
    See Also:
    
    Constant Field Values
  - FUNID_DIMENSION
```
public static final int FUNID_DIMENSION
```
    See Also:
    
    Constant Field Values
  - FUNID_IS_BOTTOM
```
public static final int FUNID_IS_BOTTOM
```
    See Also:
    
    Constant Field Values
  - FUNID_IS_TOP
```
public static final int FUNID_IS_TOP
```
    See Also:
    
    Constant Field Values
  - FUNID_IS_LEQ
```
public static final int FUNID_IS_LEQ
```
    See Also:
    
    Constant Field Values
  - FUNID_IS_EQ
```
public static final int FUNID_IS_EQ
```
    See Also:
    
    Constant Field Values
  - FUNID_IS_DIMENSION_UNCONSTRAINED
```
public static final int FUNID_IS_DIMENSION_UNCONSTRAINED
```
    See Also:
    
    Constant Field Values
  - FUNID_SAT_INTERVAL
```
public static final int FUNID_SAT_INTERVAL
```
    See Also:
    
    Constant Field Values
  - FUNID_SAT_LINCONS
```
public static final int FUNID_SAT_LINCONS
```
    See Also:
    
    Constant Field Values
  - FUNID_SAT_TCONS
```
public static final int FUNID_SAT_TCONS
```
    See Also:
    
    Constant Field Values
  - FUNID_BOUND_DIMENSION
```
public static final int FUNID_BOUND_DIMENSION
```
    See Also:
    
    Constant Field Values
  - FUNID_BOUND_LINEXPR
```
public static final int FUNID_BOUND_LINEXPR
```
    See Also:
    
    Constant Field Values
  - FUNID_BOUND_TEXPR
```
public static final int FUNID_BOUND_TEXPR
```
    See Also:
    
    Constant Field Values
  - FUNID_TO_BOX
```
public static final int FUNID_TO_BOX
```
    See Also:
    
    Constant Field Values
  - FUNID_TO_LINCONS_ARRAY
```
public static final int FUNID_TO_LINCONS_ARRAY
```
    See Also:
    
    Constant Field Values
  - FUNID_TO_TCONS_ARRAY
```
public static final int FUNID_TO_TCONS_ARRAY
```
    See Also:
    
    Constant Field Values
  - FUNID_TO_GENERATOR_ARRAY
```
public static final int FUNID_TO_GENERATOR_ARRAY
```
    See Also:
    
    Constant Field Values
  - FUNID_MEET
```
public static final int FUNID_MEET
```
    See Also:
    
    Constant Field Values
  - FUNID_MEET_ARRAY
```
public static final int FUNID_MEET_ARRAY
```
    See Also:
    
    Constant Field Values
  - FUNID_MEET_LINCONS_ARRAY
```
public static final int FUNID_MEET_LINCONS_ARRAY
```
    See Also:
    
    Constant Field Values
  - FUNID_MEET_TCONS_ARRAY
```
public static final int FUNID_MEET_TCONS_ARRAY
```
    See Also:
    
    Constant Field Values
  - FUNID_JOIN
```
public static final int FUNID_JOIN
```
    See Also:
    
    Constant Field Values
  - FUNID_JOIN_ARRAY
```
public static final int FUNID_JOIN_ARRAY
```
    See Also:
    
    Constant Field Values
  - FUNID_ADD_RAY_ARRAY
```
public static final int FUNID_ADD_RAY_ARRAY
```
    See Also:
    
    Constant Field Values
  - FUNID_ASSIGN_LINEXPR_ARRAY
```
public static final int FUNID_ASSIGN_LINEXPR_ARRAY
```
    See Also:
    
    Constant Field Values
  - FUNID_SUBSTITUTE_LINEXPR_ARRAY
```
public static final int FUNID_SUBSTITUTE_LINEXPR_ARRAY
```
    See Also:
    
    Constant Field Values
  - FUNID_ASSIGN_TEXPR_ARRAY
```
public static final int FUNID_ASSIGN_TEXPR_ARRAY
```
    See Also:
    
    Constant Field Values
  - FUNID_SUBSTITUTE_TEXPR_ARRAY
```
public static final int FUNID_SUBSTITUTE_TEXPR_ARRAY
```
    See Also:
    
    Constant Field Values
  - FUNID_ADD_DIMENSIONS
```
public static final int FUNID_ADD_DIMENSIONS
```
    See Also:
    
    Constant Field Values
  - FUNID_REMOVE_DIMENSIONS
```
public static final int FUNID_REMOVE_DIMENSIONS
```
    See Also:
    
    Constant Field Values
  - FUNID_PERMUTE_DIMENSIONS
```
public static final int FUNID_PERMUTE_DIMENSIONS
```
    See Also:
    
    Constant Field Values
  - FUNID_FORGET_ARRAY
```
public static final int FUNID_FORGET_ARRAY
```
    See Also:
    
    Constant Field Values
  - FUNID_EXPAND
```
public static final int FUNID_EXPAND
```
    See Also:
    
    Constant Field Values
  - FUNID_FOLD
```
public static final int FUNID_FOLD
```
    See Also:
    
    Constant Field Values
  - FUNID_WIDENING
```
public static final int FUNID_WIDENING
```
    See Also:
    
    Constant Field Values
  - FUNID_CLOSURE
```
public static final int FUNID_CLOSURE
```
    See Also:
    
    Constant Field Values
  - SCALAR_DOUBLE
```
public static final int SCALAR_DOUBLE
```
    See Also:
    
    Constant Field Values
  - SCALAR_MPQ
```
public static final int SCALAR_MPQ
```
    See Also:
    
    Constant Field Values
  - SCALAR_MPFR
```
public static final int SCALAR_MPFR
```
    See Also:
    
    Constant Field Values
- Constructor Detail
  - Manager
```
protected Manager()
```
    Managers can only be constructed from an abstract domain Manager subclass.
- Method Detail
  - finalize
```
protected void finalize()
```
    Deallocates the Apron ap_manager_t object.
    
    Overrides:
    
    finalize in class java.lang.Object
  - getLibrary
```
public java.lang.String getLibrary()
```
    Returns the name of the numerical abstract domain library that created the manager.
  - getVersion
```
public java.lang.String getVersion()
```
    Returns the version of the numerical abstract domain library that created the manager.
  - getAlgorithm
```
public int getAlgorithm(int funid)
```
    Returns the current precision level chosen for the given operation (FUNID_COPY, etc.).
  - getTimeout
```
public int getTimeout(int funid)
```
    Returns the current timeout value chosen for the given operation (FUNID_COPY, etc.).
  - getMaxObjectSize
```
public int getMaxObjectSize(int funid)
```
    Returns the memory size limit chosen for the given operation (FUNID_COPY, etc.).
  - getFlagExactWanted
```
public boolean getFlagExactWanted(int funid)
```
    Whether the given operation updates the exactness flag (FUNID_COPY, etc.)..
  - getFlagBestWanted
```
public boolean getFlagBestWanted(int funid)
```
    Whether the given operation updates the best-precision flag (FUNID_COPY, etc.).
  - setAlgorithm
```
public void setAlgorithm(int funid,
                         int precision)
```
    Sets the current precision level for the given operation. (FUNID_COPY, etc.).
    0 is the default. Negative numbers indicate less precision, while positive numbers indicate more precision.
    The exact meaning of each value depends on the abstract domain.
  - setTimeout
```
public void setTimeout(int funid,
                       int time)
```
    Sets a timeout for the given operation (FUNID_COPY, etc.).
    Note: timeouts are currently unimplemented.
  - setMaxObjectSize
```
public void setMaxObjectSize(int funid,
                             int size)
```
    Sets a size limit on the memory used by the given operation (FUNID_COPY, etc.).
    By default, there is no limit.
    The unit is domain-specific but is consistent with the result of Abstract0.getSize(apron.Manager).
    0 indicates no limit.
  - setFlagExactWanted
```
public void setFlagExactWanted(int funid,
                               boolean wanted)
```
    Whether the given operation (FUNID_COPY, etc.) should update the exactness flag.
    As computing the exactness information may be costly, it is disabled by default for all operations.
  - setFlagBestWanted
```
public void setFlagBestWanted(int funid,
                              boolean wanted)
```
    Whether the given operation (FUNID_COPY, etc.) should update the best-precision flag.
    As computing the best-precision information may be costly, it is disabled by default for all operations.
  - wasExact
```
public boolean wasExact()
```
    Whether the last operation with setFlagExactWanted(int, boolean) set returned an exact result.
  - wasBest
```
public boolean wasBest()
```
    Whether the last operation with setFlagBestWanted(int, boolean) set returned a result which is optimal with respect to the abstraction.
  - getPreferedScalarType
```
public int getPreferedScalarType()
```
    Gets the currently chosen preferred scalar type (SCALAR_DOUBLE, etc.).
  - setPreferedScalarType
```
public void setPreferedScalarType(int t)
```
    Sets a preferred scalar type (SCALAR_DOUBLE, etc.).

Class Manager

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

FUNID_COPY

FUNID_FREE

FUNID_SIZE

FUNID_MINIMIZE

FUNID_CANONICALIZE

FUNID_HASH

FUNID_APPROXIMATE

FUNID_FPRINT

FUNID_FPRINTDIFF

FUNID_FDUMP

FUNID_SERIALIZE_RAW

FUNID_DESERIALIZE_RAW

FUNID_BOTTOM

FUNID_TOP

FUNID_OF_BOX

FUNID_DIMENSION

FUNID_IS_BOTTOM

FUNID_IS_TOP

FUNID_IS_LEQ

FUNID_IS_EQ

FUNID_IS_DIMENSION_UNCONSTRAINED

FUNID_SAT_INTERVAL

FUNID_SAT_LINCONS

FUNID_SAT_TCONS

FUNID_BOUND_DIMENSION

FUNID_BOUND_LINEXPR

FUNID_BOUND_TEXPR

FUNID_TO_BOX

FUNID_TO_LINCONS_ARRAY

FUNID_TO_TCONS_ARRAY

FUNID_TO_GENERATOR_ARRAY

FUNID_MEET

FUNID_MEET_ARRAY

FUNID_MEET_LINCONS_ARRAY

FUNID_MEET_TCONS_ARRAY

FUNID_JOIN

FUNID_JOIN_ARRAY

FUNID_ADD_RAY_ARRAY

FUNID_ASSIGN_LINEXPR_ARRAY

FUNID_SUBSTITUTE_LINEXPR_ARRAY

FUNID_ASSIGN_TEXPR_ARRAY

FUNID_SUBSTITUTE_TEXPR_ARRAY

FUNID_ADD_DIMENSIONS

FUNID_REMOVE_DIMENSIONS

FUNID_PERMUTE_DIMENSIONS

FUNID_FORGET_ARRAY

FUNID_EXPAND

FUNID_FOLD

FUNID_WIDENING

FUNID_CLOSURE

SCALAR_DOUBLE

SCALAR_MPQ

SCALAR_MPFR

Constructor Detail

Manager

Method Detail

finalize

getLibrary

getVersion

getAlgorithm

getTimeout

getMaxObjectSize

getFlagExactWanted

getFlagBestWanted

setAlgorithm

setTimeout

setMaxObjectSize

setFlagExactWanted

setFlagBestWanted

wasExact

wasBest

getPreferedScalarType

setPreferedScalarType