Package org.xcsp.common
Class Condition.ConditionIntvl
- java.lang.Object
-
- org.xcsp.common.Condition.ConditionSet
-
- org.xcsp.common.Condition.ConditionIntvl
-
- All Implemented Interfaces:
Condition
- Enclosing interface:
- Condition
public static class Condition.ConditionIntvl extends Condition.ConditionSet
Represents a condition composed of a set operator and an interval (defined by its two inclusive bounds) as (right) 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 long
max
The upper bound (inclusive) of the interval.long
min
The lower bound (inclusive) of the interval.-
Fields inherited from class org.xcsp.common.Condition.ConditionSet
operator
-
-
Constructor Summary
Constructors Constructor Description ConditionIntvl(Types.TypeConditionOperatorSet operator, long min, long max)
Constructs a condition composed of a set operator and an interval (defined by its two inclusive bounds) as (right) operandConditionIntvl(Types.TypeConditionOperatorSet operator, Range range)
Constructs a condition composed of a set operator and an interval defined by a range.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Range
range()
Object
rightTerm()
String
toString()
-
Methods inherited from class org.xcsp.common.Condition.ConditionSet
operatorTypeExpr
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface org.xcsp.common.Condition
involvedVar
-
-
-
-
Constructor Detail
-
ConditionIntvl
public ConditionIntvl(Types.TypeConditionOperatorSet operator, long min, long max)
Constructs a condition composed of a set operator and an interval (defined by its two inclusive bounds) as (right) operand- Parameters:
operator
- a set operatormin
- the lower bound (inclusive) of the intervalmax
- the upper bound (inclusive) of the interval
-
ConditionIntvl
public ConditionIntvl(Types.TypeConditionOperatorSet operator, Range range)
Constructs a condition composed of a set operator and an interval defined by a range.- Parameters:
operator
- a set operatorrange
- a range denoting an interval
-
-