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()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

XConstraints

public XConstraints()