|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Interface Summary | |
|---|---|
| BooleanValueExpression | Interface for boolean value expression BOps. |
| INConstraint.Annotations | |
| Class Summary | |
|---|---|
| AND | Imposes the constraint x AND y. |
| Constraint<X> | BOpConstraint that wraps a BooleanValueExpression. |
| EQ | Imposes the constraint x == y. |
| EQConstant | Imposes the constraint var == constant. |
| INBinarySearch<T> | A constraint that a variable may only take on the bindings enumerated by some set. |
| INConstraint<T> | Abstract base class for "IN" IConstraint implementations. |
| INHashMap<T> | A constraint that a variable may only take on the bindings enumerated by some set. |
| NE | Imposes the constraint x != y. |
| NEConstant | Imposes the constraint var != constant. |
| OR | Imposes the constraint x OR y. |
This package provides implementations for operators which impose constraints on elements visited by some access path.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||