Package org.xcsp.parser.entries
Class ParsingEntry.CEntry
- java.lang.Object
-
- org.xcsp.parser.entries.ParsingEntry
-
- org.xcsp.parser.entries.ParsingEntry.CEntry
-
- Direct Known Subclasses:
XConstraints.CChild
,XConstraints.CEntryReifiable
,XConstraints.XBlock
,XConstraints.XGroup
- Enclosing class:
- ParsingEntry
public abstract static class ParsingEntry.CEntry extends ParsingEntry
The root class of any element that is a (direct or indirect) entry in. Also used for child elements of constraints (and constraint templates).
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.xcsp.parser.entries.ParsingEntry
ParsingEntry.CEntry, ParsingEntry.OEntry, ParsingEntry.VEntry
-
-
Field Summary
-
Fields inherited from class org.xcsp.parser.entries.ParsingEntry
attributes, classes, flags, id, note
-
-
Constructor Summary
Constructors Constructor Description CEntry()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract LinkedHashSet<XVariables.XVar>
collectVars(LinkedHashSet<XVariables.XVar> set)
Collect the set of variables involved in this element, and add them to the specified set.abstract boolean
subjectToAbstraction()
Returns true iff this element is subject to abstraction, i.e., contains parameters (tokens of the form %i or %...).String
toString()
XVariables.XVar[]
vars()
Returns the set of variables involved in this element.-
Methods inherited from class org.xcsp.parser.entries.ParsingEntry
copyAttributesOf, getAttributeValue, getAttributeValue, getAttributeValue
-
-
-
-
Method Detail
-
vars
public XVariables.XVar[] vars()
Returns the set of variables involved in this element.
-
collectVars
public abstract LinkedHashSet<XVariables.XVar> collectVars(LinkedHashSet<XVariables.XVar> set)
Collect the set of variables involved in this element, and add them to the specified set.
-
subjectToAbstraction
public abstract boolean subjectToAbstraction()
Returns true iff this element is subject to abstraction, i.e., contains parameters (tokens of the form %i or %...).
-
-