Package org.xcsp.parser.entries
Class XConstraints.CEntryReifiable
- java.lang.Object
-
- org.xcsp.parser.entries.ParsingEntry
-
- org.xcsp.parser.entries.ParsingEntry.CEntry
-
- org.xcsp.parser.entries.XConstraints.CEntryReifiable
-
- Direct Known Subclasses:
XConstraints.XCtr
,XConstraints.XLogic
,XConstraints.XSeqbin
,XConstraints.XSlide
- Enclosing class:
- XConstraints
public abstract static class XConstraints.CEntryReifiable extends ParsingEntry.CEntry
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).
-
-
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 XConstraints.XReification
reification
The object denoting reification.Softening
softening
The object denoting softening (type "soft' with element). -
Fields inherited from class org.xcsp.parser.entries.ParsingEntry
attributes, classes, flags, id, note
-
-
Constructor Summary
Constructors Constructor Description CEntryReifiable()
-
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.String
toString()
-
Methods inherited from class org.xcsp.parser.entries.ParsingEntry.CEntry
subjectToAbstraction, vars
-
Methods inherited from class org.xcsp.parser.entries.ParsingEntry
copyAttributesOf, getAttributeValue, getAttributeValue, getAttributeValue
-
-
-
-
Field Detail
-
reification
public XConstraints.XReification reification
The object denoting reification. Of course, it is null if the entry is not (half) reified.
-
softening
public Softening softening
The object denoting softening (type "soft' with element). Of course, it is null if the entry is not relaxed/softened.
-
-
Method Detail
-
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
-
toString
public String toString()
- Overrides:
toString
in classParsingEntry.CEntry
-
-