All Classes Interface Summary Class Summary Enum Summary Exception Summary Annotation Types Summary
| Class |
Description |
| AbstractTuple |
|
| AbstractTuple.HybridTuple |
|
| AbstractTuple.OrdinaryTuple |
|
| AllInterval |
Problem described at http://www.csplib.org/Problems/prob007/
For order 8, 9, 10, 11 and 12, there are respectively 40, 120, 296, 648 and 1328 solutions.
|
| Automaton |
This class allows us to represent finite automatons that are useful for posting regular constraints.
|
| Bibd |
|
| Blackhole |
|
| BoardColoration |
All squares of a board of a specified size (specified numbers of rows and columns) must be colored with the mininum number of colors.
|
| CompetitionValidator |
This class is used to test if XCSP3 instances are valid according to the scope of the current (2018) XCSP3 competition of constraint solvers.
|
| Compiler |
|
| Condition |
The root interface for denoting a condition, i.e., a pair (operator,operand) used in many XCSP3 constraints.
|
| 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.ConditionPar1 |
|
| Condition.ConditionPar2 |
|
| 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.
|
| Constants |
|
| ConstraintRecognizer |
|
| CtrEntities |
|
| CtrLoaderInteger |
This class allows us to load integer constraints, at parsing time.
|
| CtrLoaderSymbolic |
|
| DefXCSP |
|
| Domains |
In this class, we find intern classes for managing all types of domains.
|
| Domains.Dom |
The class for representing the domain of an integer variable.
|
| Domains.DomBasic |
A class for representing basic domains, i.e.
|
| Domains.DomComplex |
The interface to tag complex domains, i.e.
|
| Domains.DomGraph |
The class for representing the domain of a graph variable.
|
| Domains.DomReal |
The class for representing the domain of a real variable.
|
| Domains.DomSet |
The class for representing the domain of a set variable.
|
| Domains.DomStochastic |
The class for representing the domain of a stochastic variable.
|
| Domains.DomSymbolic |
The class for representing the domain of a symbolic variable.
|
| Domains.IDom |
The root interface to tag domain objects.
|
| EnumerationAbstract |
This class is the root class for all subclasses allowing us to iterate over combinations, permutations, ...
|
| EnumerationCartesian |
This class allows iterating over all tuples of a given length from a given set of numbers (of possibilities at each position).
|
| EnumerationOfCombinations |
This class allows us to iterate over all combinations of a given length from a given set of values.
|
| EnumerationOfPermutations |
This class allows us to iterate over all permutations of a given set of integer values.
|
| FeatureDisplayer |
This class allows us to display some general information about XCSP3 instances, such the number of variables, the
number of constraints, the distribution of constraints, etc.
|
| 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 object R.
|
| 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 object R.
|
| 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 object R.
|
| 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 object R.
|
| 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 object R.
|
| ICtr |
|
| ICtr.ICtrAllDifferent |
|
| ICtr.ICtrAllEqual |
|
| ICtr.ICtrCardinality |
|
| ICtr.ICtrChannel |
|
| ICtr.ICtrCircuit |
|
| ICtr.ICtrClause |
|
| ICtr.ICtrCount |
|
| ICtr.ICtrCumulative |
|
| ICtr.ICtrElement |
|
| ICtr.ICtrElementMatrix |
|
| ICtr.ICtrExtension |
|
| ICtr.ICtrIfThen |
|
| ICtr.ICtrIfThenElse |
|
| ICtr.ICtrInstantiation |
|
| ICtr.ICtrIntension |
|
| ICtr.ICtrMaximum |
|
| ICtr.ICtrMdd |
|
| ICtr.ICtrMinimum |
|
| ICtr.ICtrNoOverlap |
|
| ICtr.ICtrNValues |
|
| ICtr.ICtrOrdered |
|
| ICtr.ICtrRegular |
|
| ICtr.ICtrSlide |
|
| ICtr.ICtrSmart |
|
| ICtr.ICtrStretch |
|
| ICtr.ICtrSum |
|
| ICtr.Meta |
|
| IObj |
|
| IObj.IObjFunctional |
|
| IObj.IObjSpecialized |
|
| IRootForCtrAndObj |
|
| 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.
|
| MagicSequence |
|
| MatcherInterface |
This interface is used to test if a specified (source) tree matches a predefined target tree.
|
| MatcherInterface.AbstractOperation |
|
| MatcherInterface.Matcher |
This class allows us to perform matching tests between trees.
|
| ModelingEntity |
|
| ModelingEntity.TagDummy |
|
| NotData |
|
| ObjEntities |
|
| ParsingEntry |
The class root of any entry in variables, constraints and objectives.
|
| ParsingEntry.AEntry |
The root class for representing annotations.
|
| ParsingEntry.CEntry |
The root class of any element that is a (direct or indirect) entry in .
|
| ParsingEntry.OEntry |
The root class for representing objectives.
|
| ParsingEntry.VEntry |
The root class used for Var and Array objects.
|
| Pic |
|
| Pic2 |
|
| ProblemAPI |
|
| ProblemAPIBase |
|
| ProblemAPIBase.Index |
Class that is useful to represent objects wrapping indexing information.
|
| ProblemAPIBase.Occurrences |
|
| ProblemAPIBase.Occurrences.OccurrencesInt |
|
| ProblemAPIBase.Occurrences.OccurrencesInt1D |
|
| ProblemAPIBase.Occurrences.OccurrencesIntRange |
|
| ProblemAPIBase.Occurrences.OccurrencesIntRange1D |
|
| ProblemAPIBase.Occurrences.OccurrencesVar1D |
|
| ProblemAPIOnVals |
|
| ProblemAPIOnVars |
|
| ProblemAPISymbolic |
|
| ProblemDataHandler |
Data Handler, using JSON as format.
|
| ProblemIMP |
|
| ProblemIMP.Annotations |
|
| ProblemIMP3 |
|
| ProblemIMP3.MVariable |
|
| ProblemIMP3.MVariable.MVarInteger |
|
| ProblemIMP3.MVariable.MVarSymbolic |
|
| Queens |
|
| Rack |
|
| Rack2 |
|
| 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.
|
| SolutionChecker |
This class allows us to check solutions and bounds obtained for XCSP3 instances.
|
| Sudoku |
|
| Table |
This class allows us to represent integer tables that are useful objects when defining extension constraints.
|
| TableAbstract |
This class allows us to represent tables that are useful objects when defining extension constraints.
|
| TableSymbolic |
|
| Transition |
This class allows us to represent a transition that is a useful object when defining finite automatons.
|
| Transitions |
An object encapsulating a list of transitions.
|
| TreeEvaluator |
|
| TreeEvaluator.ExternFunctionArity1 |
|
| TreeEvaluator.ExternFunctionArity2 |
|
| TreeEvaluator.TagArithmetic |
|
| TreeEvaluator.TagArity0 |
|
| TreeEvaluator.TagArity1 |
|
| TreeEvaluator.TagArity2 |
|
| TreeEvaluator.TagArity3 |
|
| TreeEvaluator.TagArityX |
|
| TreeEvaluator.TagAssociative |
|
| TreeEvaluator.TagBoolean |
Tags
|
| TreeEvaluator.TagInteger |
|
| TreeEvaluator.TagLogical |
|
| TreeEvaluator.TagRelational |
|
| TreeEvaluator.TagSet |
|
| TreeEvaluator.TagSymmetric |
|
| TreeEvaluator.TagTerminal |
|
| Types |
|
| Types.SpecialClass |
The class that allows the user to define his own classes
|
| 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.TypeCircuitableOperator |
|
| Types.TypeClass |
The interface that denotes a class (XML/HTML meaning) that can be associated with any XCSP3 element
|
| 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.
|
| Utilities |
A class with some utility (static) methods.
|
| Utilities.ModifiableBoolean |
|
| Values |
|
| Values.Decimal |
A class to represent decimal values.
|
| Values.IntegerEntity |
An interface used to denote integer entities, i.e., either integer values or integer intervals.
|
| Values.IntegerInterval |
A class to represent an integer interval.
|
| Values.IntegerValue |
A class to represent an integer value.
|
| Values.Occurrences |
A class to represent several occurrences of the same value.
|
| Values.Rational |
A class to represent rational values.
|
| Values.RealInterval |
A class to represent real intervals.
|
| Values.SimpleValue |
An interface used to denote simple values, i.e., rational, decimal or integer values.
|
| VarEntities |
|
| Warehouse |
|
| WrongTypeException |
An exception thrown when a constraint parameter has not the expected type.
|
| XCallbacks |
This interface can be implemented to benefit from the parsing process of a Java parser.
|
| XCallbacks.Implem |
The class that contains all data structures (objects) that are used during the process of loading the XCSP3 instance.
|
| XCallbacks.XCallbacksParameters |
The constants that can be used to pilot the parser.
|
| XCallbacks2 |
|
| XConstraints |
In this class, we find intern classes for managing stand-alone constraints, groups of constraints, and meta-constraints.
|
| XConstraints.CChild |
The class for representing a child element of a constraint (or constraint template).
|
| XConstraints.CEntryReifiable |
The class for representing any entry that is reifiable and softable (i.e., an entry that is not a , a group or a child for a constraint).
|
| XConstraints.XAbstraction |
The class used for handling abstraction in constraint templates.
|
| XConstraints.XBlock |
The class used for elements .
|
| XConstraints.XCtr |
The class for representing a stand-alone constraint, or a constraint template.
|
| XConstraints.XGroup |
The class for representing a group of constraints.
|
| XConstraints.XLogic |
The class for representing a logic-based meta-constraint <and>, <or>, <iff>, <not>, <ifThen>, or <ifThenElse>.
|
| XConstraints.XParameter |
The class used for representing parameters (tokens of the form %i or %...) when handling constraint templates.
|
| XConstraints.XReification |
The class used for representing reification.
|
| XConstraints.XSeqbin |
The class for representing the meta-constraint .
|
| XConstraints.XSlide |
The class for representing the meta-constraint .
|
| XNode<V extends IVar> |
This class is used for representing a node of a syntactic tree, which is built for functional expressions, and used especially with element
<intension>.
|
| XNodeLeaf<V extends IVar> |
The class used for representing a leaf node in a syntactic tree.
|
| XNodeParent<V extends IVar> |
The class used for representing a parent node in a syntactic tree.
|
| XNodeParentSpecial<V extends IVar> |
|
| XObjectives |
|
| XObjectives.OObjectiveExpr |
The class for representing objectives defined from functional expressions (can just be a variable).
|
| XObjectives.OObjectiveSpecial |
The class for representing objectives defined from a list of variables, and possibly a list of coefficients.
|
| XObjectives.XObj |
Intermediate class introduced only for clarity reasons.
|
| XParser |
This class corresponds to a Java parser that uses DOM (Document Object Model) to parse XCSP3 instances.
|
| XParser.TypePrimitive |
The enum type describing the different types of primitives that can be used for representing arrays of integer tuples.
|
| XVariables |
In this class, we find intern classes for managing variables and arrays of variables.
|
| XVariables.XArray |
The class used to represent arrays of variables.
|
| XVariables.XVar |
The class used to represent variables.
|
| XVariables.XVarInteger |
The following classes are introduced, only for being able to have types for variables in the parser interface
|
| XVariables.XVarReal |
|
| XVariables.XVarSet |
|
| XVariables.XVarStochastic |
|
| XVariables.XVarSymbolic |
|
| Zebra |
|