Package org.xcsp.parser.entries
Class XVariables.XVarSet
- java.lang.Object
-
- org.xcsp.parser.entries.ParsingEntry
-
- org.xcsp.parser.entries.ParsingEntry.VEntry
-
- org.xcsp.parser.entries.XVariables.XVar
-
- org.xcsp.parser.entries.XVariables.XVarSet
-
- All Implemented Interfaces:
IVar
- Enclosing class:
- XVariables
public static final class XVariables.XVarSet extends XVariables.XVar
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.xcsp.parser.entries.ParsingEntry
ParsingEntry.CEntry, ParsingEntry.OEntry, ParsingEntry.VEntry
-
Nested classes/interfaces inherited from interface org.xcsp.common.IVar
IVar.Var, IVar.VarSymbolic
-
-
Field Summary
-
Fields inherited from class org.xcsp.parser.entries.XVariables.XVar
degree, dom
-
Fields inherited from class org.xcsp.parser.entries.ParsingEntry.VEntry
type
-
Fields inherited from class org.xcsp.parser.entries.ParsingEntry
attributes, classes, flags, id, note
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
XVarSet(String id, Types.TypeVar type, Domains.IDom dom)
Builds a set variable with the specified id, type and domain.
-
Method Summary
-
Methods inherited from class org.xcsp.parser.entries.XVariables.XVar
build, build, id, toString
-
Methods inherited from class org.xcsp.parser.entries.ParsingEntry.VEntry
getType
-
Methods inherited from class org.xcsp.parser.entries.ParsingEntry
copyAttributesOf, getAttributeValue, getAttributeValue, getAttributeValue
-
-
-
-
Constructor Detail
-
XVarSet
protected XVarSet(String id, Types.TypeVar type, Domains.IDom dom)
Builds a set variable with the specified id, type and domain.
-
-