Package org.xcsp.common.domains
Class Domains.DomSet
- java.lang.Object
-
- org.xcsp.common.domains.Domains.DomSet
-
- All Implemented Interfaces:
Domains.DomComplex
,Domains.IDom
- Enclosing class:
- Domains
public static final class Domains.DomSet extends Object implements Domains.DomComplex
The class for representing the domain of a set variable.
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static Domains.DomSet
parse(String req, String pos, Types.TypeVar type)
Returns the set domain obtained by parsing the specified strings, according to the specified type.String
toString()
-
-
-
Field Detail
-
required
public final Object[] required
The required and possible values. For an integer set domain, values are IntegerEntity. For a symbolic set domain, values are String.
-
possible
public final Object[] possible
The required and possible values. For an integer set domain, values are IntegerEntity. For a symbolic set domain, values are String.
-
-
Method Detail
-
parse
public static Domains.DomSet parse(String req, String pos, Types.TypeVar type)
Returns the set domain obtained by parsing the specified strings, according to the specified type.
-
-