Package org.xcsp.common
-
Interface Summary Interface Description Condition The root interface for denoting a condition, i.e., a pair (operator,operand) used in many XCSP3 constraints.Constants FunctionalInterfaces This is an interface that contains main functional interfaces, those that are mainly used by the modeler.FunctionalInterfaces.IntToDom Represents a function that associates an integer domain (possibly,null
) with a given integer.FunctionalInterfaces.IntToDomSymbolic Represents a function that associates a symbolic domain (possibly,null
) with a given integer.FunctionalInterfaces.Intx1Predicate Represents a predicate (boolean-valued function) of one integer argument.FunctionalInterfaces.Intx2Consumer Represents an operation that accepts two integers and returns no result.FunctionalInterfaces.Intx2Function<R> Represents a function that accepts two integers and returns an objectR
.FunctionalInterfaces.Intx2Predicate Represents a predicate (boolean-valued function) of two integer arguments.FunctionalInterfaces.Intx2ToDom Represents a function that associates an integer domain (possibly,null
) with a given pair of integers.FunctionalInterfaces.Intx2ToDomSymbolic Represents a function that associates a symbolic domain (possibly,null
) with a given pair of integers.FunctionalInterfaces.Intx3Consumer Represents an operation that accepts three integers and returns no result.FunctionalInterfaces.Intx3Function<R> Represents a function that accepts three integers and returns an objectR
.FunctionalInterfaces.Intx3Predicate Represents a predicate (boolean-valued function) of three integer arguments.FunctionalInterfaces.Intx3ToDom Represents a function that associates an integer domain (possibly,null
) with three given integers.FunctionalInterfaces.Intx3ToDomSymbolic Represents a function that associates a symbolic domain (possibly,null
) with three given integers.FunctionalInterfaces.Intx4Consumer Represents an operation that accepts four integers and returns no result.FunctionalInterfaces.Intx4Function<R> Represents a function that accepts four integers and returns an objectR
.FunctionalInterfaces.Intx4Predicate Represents a predicate (boolean-valued function) of four integer arguments.FunctionalInterfaces.Intx4ToDom Represents a function that associates an integer domain (possibly,null
) with four given integers.FunctionalInterfaces.Intx5Consumer Represents an operation that accepts five integers and returns no result.FunctionalInterfaces.Intx5Function<R> Represents a function that accepts five integers and returns an objectR
.FunctionalInterfaces.Intx5Predicate Represents a predicate (boolean-valued function) of five integer arguments.FunctionalInterfaces.Intx5ToDom Represents a function that associates an integer domain (possibly,null
) with five given integers.FunctionalInterfaces.Intx6Consumer Represents an operation that accepts six integers and returns no result.FunctionalInterfaces.Intx6Function<R> Represents a function that accepts six integers and returns an objectR
.IVar This is the root interface of any variable, handled either in the parser or the modeler.IVar.Var This is the root interface of any integer variable, handled either in the parser or the modeler.IVar.VarSymbolic This is the root interface of any symbolic variable, handled either in the parser or the modeler.Types.TypeClass The interface that denotes a class (XML/HTML meaning) that can be associated with any XCSP3 element -
Class Summary Class Description Condition.ConditionIntset Represents a condition composed of a set operator and an array of values (int) as (right) operand.Condition.ConditionIntvl Represents a condition composed of a set operator and an interval (defined by its two inclusive bounds) as (right) operand.Condition.ConditionPar Condition.ConditionRel Represents a condition based on a relational operator.Condition.ConditionSet Represents a condition based on a set operator.Condition.ConditionVal Represents a condition composed of a relational operator and a value (long integer) as (right) operand.Condition.ConditionVar Represents a condition composed of a relational operator and a variable as operand.Range This class includes all functionalities that are necessary to deal with ranges of integers.Range.Rangesx2 A class denoting a double range.Range.Rangesx3 A class denoting a triple range.Range.Rangesx4 A class denoting a quadruple range.Range.Rangesx5 A class denoting a quintuple range.Range.Rangesx6 A class denoting a sixtuple range.Size This is the root abstract class of all subclasses that are useful for denoting the size (i.e., length of each dimension) of multi-dimensional arrays of variables.Size.Size1D A class for representing the size (length) of a 1-dimensional array.Size.Size2D A class for representing the size (i.e., length of each dimension) a 2-dimensional array.Size.Size3D A class for representing the size (i.e., length of each dimension) a 3-dimensional array.Size.Size4D A class for representing the size (i.e., length of each dimension) a 4-dimensional array.Size.Size5D A class for representing the size (i.e., length of each dimension) a 5-dimensional array.Softening The root class used for representing softening.Softening.SofteningExtension The class used for representing softening of extensional constraints (that are not simple soft constraints).Softening.SofteningGlobal The class used for representing softening of other constraints (global constraints and some meta-constraints).Softening.SofteningIntension The class used for representing softening of intensional constraints (that are not simple soft constraints).Softening.SofteningSimple The class used for representing softening of simple soft constraints.Types Types.SpecialClass The class that allows the user to define his own classesUtilities A class with some utility (static) methods.Utilities.ModifiableBoolean -
Enum Summary Enum Description Types.StandardClass The enum type describing the different standard classes that can be associated with XCSP3 elements.Types.TypeArithmeticOperator The enum type specifying the different types of operators that can be used in elements. Types.TypeAtt The enum type specifying the different types of attributes that may be encountered.Types.TypeChild The enum type specifying the different types of child elements of constraints.Types.TypeCombination The enum type specifying the different types of combination of objectives.Types.TypeConditionOperator The enum type specifying the different types of operators that can be used in conditions.Types.TypeConditionOperatorRel The enum type specifying the different types of relational operators that can be used in conditions.Types.TypeConditionOperatorSet The enum type specifying the different types of set operators that can be used in conditions.Types.TypeCtr The enum type specifying the different types of constraints and meta-constraints.Types.TypeEqNeOperator The enum type specifying the two relational operators EQ and NE.Types.TypeExpr The enum type specifying the different types of nodes that can be found in syntactic trees (built for intensional expressions).Types.TypeFlag The enum type specifying the different flags that may be associated with some elements (e.g., constraints).Types.TypeFramework The enum type specifying the different types of frameworks.Types.TypeLifting The enum type specifying the different types of lifting operations (except matrix).Types.TypeLogicalOperator The enum type specifying the different types of (non unary) logic operators.Types.TypeMeasure The enum type specifying the different types of measures used by elements. Types.TypeObjective The enum type specifying the different types of objectives.Types.TypeOperator The enum type specifying the different types of operators that can be used in elements. Types.TypeOperatorRel The different operators that can be used in elements, when a relational operator is expected. Types.TypeOperatorSet The different operators that can be used in elements, when a set operator is expected. Types.TypeOptimization The enum type specifying the different types of optimization (used for annotations).Types.TypeRank The enum type specifying the different types of ranking used by constraints, , . Types.TypeReification The enum type specifying the different types of reification.Types.TypeUnaryArithmeticOperator The enum type specifying the different types of basic unary arithmetic (and logic) operators.Types.TypeUpDown The enum type specifying the two directions 'Up' and 'Down'Types.TypeVar The enum type describing the different types of variables.