Package org.xcsp.common

Interface Condition

All Known Implementing Classes:

Condition.ConditionIntset, Condition.ConditionIntvl, Condition.ConditionPar, Condition.ConditionPar1, Condition.ConditionPar2, Condition.ConditionRel, Condition.ConditionSet, Condition.ConditionVal, Condition.ConditionVar

public interface Condition

The root interface for denoting a condition, i.e., a pair (operator,operand) used in many XCSP3 constraints.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static class	Condition.ConditionIntset	Represents a condition composed of a set operator and an array of values (int) as (right) operand.
static class	Condition.ConditionIntvl	Represents a condition composed of a set operator and an interval (defined by its two inclusive bounds) as (right) operand.
static class	Condition.ConditionPar
static class	Condition.ConditionPar1
static class	Condition.ConditionPar2
static class	Condition.ConditionRel	Represents a condition based on a relational operator.
static class	Condition.ConditionSet	Represents a condition based on a set operator.
static class	Condition.ConditionVal	Represents a condition composed of a relational operator and a value (long integer) as (right) operand.
static class	Condition.ConditionVar	Represents a condition composed of a relational operator and a variable as operand.

Method Summary

Modifier and Type	Method	Description
static Condition	buildFrom(Object operator, Object limit)	Returns an object instance of a class implementing Condition, built from the specified arguments.
default int[]	filtering(int[] values)
default IVar	involvedVar()	Returns the variable involved in the condition, if one is present, null otherwise.
Types.TypeExpr	operatorTypeExpr()
Object	rightTerm()
static XNodeParent<IVar>	toNode(IVar x, Condition condition)

Method Detail

buildFrom

static Condition buildFrom(Object operator,
                           Object limit)

Returns an object instance of a class implementing Condition, built from the specified arguments.

Parameters:

operator - a relational operator TypeConditionOperatorRel, a set operator TypeConditionOperatorSet or a more general object TypeConditionOperator

limit - an integer (object Number), a variable (object IVar), a range (object Range) or a 1-dimensional array of int

Returns:

an object instance of a class implementing Condition, built from the specified arguments

toNode

static XNodeParent<IVar> toNode(IVar x,
                                Condition condition)

involvedVar

default IVar involvedVar()

Returns the variable involved in the condition, if one is present, null otherwise.

Returns:

the variable involved in the condition, if one is present, null otherwise

operatorTypeExpr

Types.TypeExpr operatorTypeExpr()

rightTerm

Object rightTerm()

filtering

default int[] filtering(int[] values)