Package org.xcsp.parser.entries
Class XConstraints.XGroup
- java.lang.Object
-
- org.xcsp.parser.entries.ParsingEntry
-
- org.xcsp.parser.entries.ParsingEntry.CEntry
-
- org.xcsp.parser.entries.XConstraints.XGroup
-
- Enclosing class:
- XConstraints
public static final class XConstraints.XGroup extends ParsingEntry.CEntry
The class for representing a group of constraints.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.xcsp.parser.entries.ParsingEntry
ParsingEntry.CEntry, ParsingEntry.OEntry, ParsingEntry.VEntry
-
-
Field Summary
Fields Modifier and Type Field Description Object[][]
argss
A two-dimensional array representing the sequence of arguments that have to be passed to the template.XConstraints.CEntryReifiable
template
The constraint template for the group or meta-constraint slide.-
Fields inherited from class org.xcsp.parser.entries.ParsingEntry
attributes, classes, flags, id, note
-
-
Constructor Summary
Constructors Constructor Description XGroup(XConstraints.CEntryReifiable template, Object[][] argss)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description LinkedHashSet<XVariables.XVar>
collectVars(LinkedHashSet<XVariables.XVar> set)
Collect the set of variables involved in this element, and add them to the specified set.XVariables.XVar[]
getScope(int i)
Returns the scope of the ith constraint of the group.boolean
subjectToAbstraction()
Returns true iff this element is subject to abstraction, i.e., contains parameters (tokens of the form %i or %...).String
toString()
-
Methods inherited from class org.xcsp.parser.entries.ParsingEntry.CEntry
vars
-
Methods inherited from class org.xcsp.parser.entries.ParsingEntry
copyAttributesOf, getAttributeValue, getAttributeValue, getAttributeValue
-
-
-
-
Field Detail
-
template
public final XConstraints.CEntryReifiable template
The constraint template for the group or meta-constraint slide. It is either a stand-alone constraint template or an elementcontaining a stand-alone constraint template.
-
argss
public final Object[][] argss
A two-dimensional array representing the sequence of arguments that have to be passed to the template.
-
-
Constructor Detail
-
XGroup
public XGroup(XConstraints.CEntryReifiable template, Object[][] argss)
-
-
Method Detail
-
getScope
public XVariables.XVar[] getScope(int i)
Returns the scope of the ith constraint of the group.
-
collectVars
public LinkedHashSet<XVariables.XVar> collectVars(LinkedHashSet<XVariables.XVar> set)
Description copied from class:ParsingEntry.CEntry
Collect the set of variables involved in this element, and add them to the specified set.- Specified by:
collectVars
in classParsingEntry.CEntry
-
subjectToAbstraction
public boolean subjectToAbstraction()
Description copied from class:ParsingEntry.CEntry
Returns true iff this element is subject to abstraction, i.e., contains parameters (tokens of the form %i or %...).- Specified by:
subjectToAbstraction
in classParsingEntry.CEntry
-
toString
public String toString()
- Overrides:
toString
in classParsingEntry.CEntry
-
-