Package org.xcsp.common
Class Condition.ConditionRel
- java.lang.Object
-
- org.xcsp.common.Condition.ConditionRel
-
- All Implemented Interfaces:
Condition
- Direct Known Subclasses:
Condition.ConditionVal
,Condition.ConditionVar
- Enclosing interface:
- Condition
public abstract static class Condition.ConditionRel extends Object implements Condition
Represents a condition based on a relational operator.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface org.xcsp.common.Condition
Condition.ConditionIntset, Condition.ConditionIntvl, Condition.ConditionPar, Condition.ConditionRel, Condition.ConditionSet, Condition.ConditionVal, Condition.ConditionVar
-
-
Field Summary
Fields Modifier and Type Field Description Types.TypeConditionOperatorRel
operator
The relational operator on which the condition is based.
-
Constructor Summary
Constructors Constructor Description ConditionRel(Types.TypeConditionOperatorRel operator)
Constructs a condition based on a relational operator.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Types.TypeExpr
operatorTypeExpr()
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface org.xcsp.common.Condition
filtering, involvedVar, rightTerm
-
-
-
-
Field Detail
-
operator
public Types.TypeConditionOperatorRel operator
The relational operator on which the condition is based.
-
-
Constructor Detail
-
ConditionRel
public ConditionRel(Types.TypeConditionOperatorRel operator)
Constructs a condition based on a relational operator.- Parameters:
operator
- a relational operator
-
-
Method Detail
-
operatorTypeExpr
public Types.TypeExpr operatorTypeExpr()
- Specified by:
operatorTypeExpr
in interfaceCondition
-
-