Package org.xcsp.parser.entries
Class XConstraints
- java.lang.Object
-
- org.xcsp.parser.entries.XConstraints
-
public class XConstraints extends Object
In this class, we find intern classes for managing stand-alone constraints, groups of constraints, and meta-constraints.- Author:
- Christophe Lecoutre
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
XConstraints.CChild
The class for representing a child element of a constraint (or constraint template).static class
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). static class
XConstraints.XAbstraction
The class used for handling abstraction in constraint templates.static class
XConstraints.XBlock
The class used for elements. static class
XConstraints.XCtr
The class for representing a stand-alone constraint, or a constraint template.static class
XConstraints.XGroup
The class for representing a group of constraints.static class
XConstraints.XLogic
The class for representing a logic-based meta-constraint<and>, <or>, <iff>, <not>, <ifThen>, or <ifThenElse>
.static class
XConstraints.XParameter
The class used for representing parameters (tokens of the form %i or %...) when handling constraint templates.static class
XConstraints.XReification
The class used for representing reification.static class
XConstraints.XSeqbin
The class for representing the meta-constraint. static class
XConstraints.XSlide
The class for representing the meta-constraint.
-
Constructor Summary
Constructors Constructor Description XConstraints()
-