Package org.xcsp.common
Class Condition.ConditionSet
- java.lang.Object
-
- org.xcsp.common.Condition.ConditionSet
-
- All Implemented Interfaces:
Condition
- Direct Known Subclasses:
Condition.ConditionIntset
,Condition.ConditionIntvl
- Enclosing interface:
- Condition
public abstract static class Condition.ConditionSet extends Object implements Condition
Represents a condition based on a set 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.TypeConditionOperatorSet
operator
The set operator on which the condition is based.
-
Constructor Summary
Constructors Constructor Description ConditionSet(Types.TypeConditionOperatorSet operator)
Constructs a condition based on a set 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
involvedVar, rightTerm
-
-
-
-
Field Detail
-
operator
public Types.TypeConditionOperatorSet operator
The set operator on which the condition is based.
-
-
Constructor Detail
-
ConditionSet
public ConditionSet(Types.TypeConditionOperatorSet operator)
Constructs a condition based on a set operator.- Parameters:
operator
- a set operator
-
-
Method Detail
-
operatorTypeExpr
public Types.TypeExpr operatorTypeExpr()
- Specified by:
operatorTypeExpr
in interfaceCondition
-
-