SymbolicBooleanConstraint |
SymbolicEvaluator.ExpressionVisitor.evaluate(ExecutionState state,
ExpressionTree tree) |
SymbolicBooleanConstraint |
SymbolicEvaluator.PackedStates.getBooleanConstraint() |
SymbolicBooleanConstraint |
SymbolicBooleanConstraint.negate() |
SymbolicBooleanConstraint |
SymbolicBooleanConstraint.union(SymbolicBooleanConstraint other) |
static SymbolicBooleanConstraint |
SymbolicBooleanConstraint.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static SymbolicBooleanConstraint[] |
SymbolicBooleanConstraint.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|