Class 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.
    • Constructor Detail

      • DomSymbolic

        protected DomSymbolic​(String seq)
        Builds a symbolic domain, with the symbols obtained by parsing the specified string.
      • DomSymbolic

        public DomSymbolic​(String[] values)
        Builds a symbolic domain, with the specified symbols.
    • Method Detail

      • contains

        public boolean contains​(String s)
        Returns true iff the domain contains the specified value.