Package org.xcsp.common
Class Condition.ConditionVar
- java.lang.Object
-
- org.xcsp.common.Condition.ConditionRel
-
- org.xcsp.common.Condition.ConditionVar
-
- All Implemented Interfaces:
Condition
- Enclosing interface:
- Condition
public static class Condition.ConditionVar extends Condition.ConditionRel
Represents a condition composed of a relational operator and a variable as operand.
-
-
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 IVar
x
The variable that represents the operand of the condition.-
Fields inherited from class org.xcsp.common.Condition.ConditionRel
operator
-
-
Constructor Summary
Constructors Constructor Description ConditionVar(Types.TypeConditionOperatorRel operator, IVar x)
Constructs a condition composed of the specified relational operator and the specified variable as (right) operand
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description IVar
involvedVar()
Returns the variable involved in the condition, if one is present,null
otherwise.Object
rightTerm()
String
toString()
-
Methods inherited from class org.xcsp.common.Condition.ConditionRel
operatorTypeExpr
-
-
-
-
Field Detail
-
x
public IVar x
The variable that represents the operand of the condition.
-
-
Constructor Detail
-
ConditionVar
public ConditionVar(Types.TypeConditionOperatorRel operator, IVar x)
Constructs a condition composed of the specified relational operator and the specified variable as (right) operand- Parameters:
operator
- a relational operatorx
- a variable
-
-