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.AEntry, 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

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

Methods inherited from class java.lang.Object

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

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 element containing 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 class ParsingEntry.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 class ParsingEntry.CEntry

toString

public String toString()

Overrides:

toString in class ParsingEntry.CEntry