Package org.xcsp.common.domains
Class Domains.DomSymbolic
- java.lang.Object
-
- org.xcsp.common.domains.Domains.DomBasic
-
- org.xcsp.common.domains.Domains.DomSymbolic
-
- All Implemented Interfaces:
Domains.IDom
- Enclosing class:
- Domains
public static final class Domains.DomSymbolic extends Domains.DomBasic
The class for representing the domain of a symbolic variable.
-
-
Field Summary
-
Fields inherited from class org.xcsp.common.domains.Domains.DomBasic
values
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
DomSymbolic(String seq)
Builds a symbolic domain, with the symbols obtained by parsing the specified string.DomSymbolic(String[] values)
Builds a symbolic domain, with the specified symbols.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
contains(String s)
Returns true iff the domain contains the specified value.-
Methods inherited from class org.xcsp.common.domains.Domains.DomBasic
parse, toString
-
-
-
-
Method Detail
-
contains
public boolean contains(String s)
Returns true iff the domain contains the specified value.
-
-