- All Known Implementing Classes:
- AndConstraint, BoundConstraint, ComplexConstraint, Constraint, LiteralConstraint, LiteralReturnValueConstraint, OrConstraint, PredicateConstraint, ReturnValueConstraint, ValueSourceReturnValueConstraint, VariableReturnValueConstraint
public interface IConstraint
Simple constraints:
(slot ) -> LiteralConstraint
(slot var) -> BoundConstraint
(slot m/var1 .. m/varn) -> MultiBoundConstraint
(slot|var| f(var1, var2, ...)) -> ReturnValueConstraint
(true == p(var1, var2, ...)) -> PredicateConstraint
(slot subidx ) -> MultiLiteralConstraint for multifields
(slot1 slot2) -> AttributeConstraint
: = | != | < | <= | > | >= | contains | excludes | matches
Complex constraints:
[const1 and const2 and ...] -> AndConstraint
[const1 or const2 or ...] -> OrConstraint
const1,2 : ComplexConstraint | SimpleConstraint