FixedPointConstants (util 1.6.2 API)

All Known Implementing Classes:

AbstractFixedPointSolver, AbstractMeetOperator, AbstractOperator, BitVectorFilter, BitVectorIdentity, BitVectorIntersection, BitVectorKillAll, BitVectorKillGen, BitVectorMinusVector, BitVectorOr, BitVectorSolver, BitVectorUnion, BitVectorUnionConstant, BitVectorUnionVector, BooleanIdentity, BooleanSolver, BooleanUnion, DataflowSolver, DefaultFixedPointSolver, NullaryOperator, TrueOperator, UnaryBitVectorUnion, UnaryOperator, UnaryOr
```
public interface FixedPointConstants
```
Constants used in the fixed-point solver framework

Field Summary

Fields
Modifier and Type	Field	Description
`static byte`	`CHANGED`	A return value which indicates that a lhs has changed, and the statement might need to be evaluated again.
`static byte`	`CHANGED_AND_FIXED`	A return value which indicates that lhs has changed, and the statement need not be evaluated again.
`static int`	`CHANGED_MASK`	The bit-mask which defines the "CHANGED" flag
`static int`	`FIXED_MASK`	The bit-mask which defines the "FIXED" flag
`static byte`	`NOT_CHANGED`	A return value which indicates that lhs has not changed, and the statement might need to be evaluated again.
`static byte`	`NOT_CHANGED_AND_FIXED`	A return value which indicates that lhs has not changed, and the statement need not be evaluated again.
`static int`	`SIDE_EFFECT_MASK`	The bit-mask which defines the "SIDE EFFECT" flag

- Field Detail
  - CHANGED
```
static final byte CHANGED
```
    A return value which indicates that a lhs has changed, and the statement might need to be evaluated again.
    
    See Also:
    
    Constant Field Values
  - NOT_CHANGED
```
static final byte NOT_CHANGED
```
    A return value which indicates that lhs has not changed, and the statement might need to be evaluated again.
    
    See Also:
    
    Constant Field Values
  - CHANGED_AND_FIXED
```
static final byte CHANGED_AND_FIXED
```
    A return value which indicates that lhs has changed, and the statement need not be evaluated again.
    
    See Also:
    
    Constant Field Values
  - NOT_CHANGED_AND_FIXED
```
static final byte NOT_CHANGED_AND_FIXED
```
    A return value which indicates that lhs has not changed, and the statement need not be evaluated again.
    
    See Also:
    
    Constant Field Values
  - CHANGED_MASK
```
static final int CHANGED_MASK
```
    The bit-mask which defines the "CHANGED" flag
    
    See Also:
    
    Constant Field Values
  - FIXED_MASK
```
static final int FIXED_MASK
```
    The bit-mask which defines the "FIXED" flag
    
    See Also:
    
    Constant Field Values
  - SIDE_EFFECT_MASK
```
static final int SIDE_EFFECT_MASK
```
    The bit-mask which defines the "SIDE EFFECT" flag
    
    See Also:
    
    Constant Field Values