All Classes Interface Summary Class Summary Enum Summary Exception Summary Annotation Types Summary
Class |
Description |
AbstractTuple |
|
AbstractTuple.OrdinaryTuple |
|
AbstractTuple.SmartTuple |
|
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.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.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.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 |
|