Uses of Class
org.xcsp.common.domains.Domains.DomSymbolic
-
Packages that use Domains.DomSymbolic Package Description org.xcsp.common org.xcsp.modeler.api org.xcsp.modeler.implementation -
-
Uses of Domains.DomSymbolic in org.xcsp.common
Methods in org.xcsp.common that return Domains.DomSymbolic Modifier and Type Method Description Domains.DomSymbolic
FunctionalInterfaces.IntToDomSymbolic. apply(int i)
Returns a symbolic domain, computed from the specified integer.Domains.DomSymbolic
FunctionalInterfaces.Intx2ToDomSymbolic. apply(int i, int j)
Returns a symbolic domain, computed from the specified integers.Domains.DomSymbolic
FunctionalInterfaces.Intx3ToDomSymbolic. apply(int i, int j, int k)
Returns a symbolic domain, computed from the specified integers. -
Uses of Domains.DomSymbolic in org.xcsp.modeler.api
Methods in org.xcsp.modeler.api that return Domains.DomSymbolic Modifier and Type Method Description default Domains.DomSymbolic
ProblemAPISymbolic. dom(String[] values)
Returns a symbolic domain composed of the sorted distinct values that come from the specified array.default Domains.DomSymbolic
ProblemAPISymbolic. dom(String val, String... otherVals)
Returns a symbolic domain composed of the sorted distinct values that come from the specified values.Methods in org.xcsp.modeler.api with parameters of type Domains.DomSymbolic Modifier and Type Method Description default IVar.VarSymbolic[]
ProblemAPISymbolic. arraySymbolic(String id, Size.Size1D size, Domains.DomSymbolic dom, String note, Types.TypeClass... classes)
Builds a 1-dimensional array of symbolic variables with the specified id, size, domain, note and classes.default IVar.VarSymbolic[]
ProblemAPISymbolic. arraySymbolic(String id, Size.Size1D size, Domains.DomSymbolic dom, Types.TypeClass... classes)
Builds a 1-dimensional array of symbolic variables with the specified id, size, domain, and classes.default IVar.VarSymbolic[][]
ProblemAPISymbolic. arraySymbolic(String id, Size.Size2D size, Domains.DomSymbolic dom, String note, Types.TypeClass... classes)
Builds a 2-dimensional array of symbolic variables with the specified id, size, domain, note (short comment) and classes.default IVar.VarSymbolic[][]
ProblemAPISymbolic. arraySymbolic(String id, Size.Size2D size, Domains.DomSymbolic dom, Types.TypeClass... classes)
Builds a 2-dimensional array of symbolic variables with the specified id, size, domain, and classes.default IVar.VarSymbolic
ProblemAPISymbolic. var(String id, Domains.DomSymbolic dom, String note, Types.TypeClass... classes)
Builds a stand-alone symbolic variable with the specified id, domain, note (short comment) and classes.default IVar.VarSymbolic
ProblemAPISymbolic. var(String id, Domains.DomSymbolic dom, Types.TypeClass... classes)
Builds a stand-alone symbolic variable with the specified id, domain and classes. -
Uses of Domains.DomSymbolic in org.xcsp.modeler.implementation
Methods in org.xcsp.modeler.implementation with parameters of type Domains.DomSymbolic Modifier and Type Method Description abstract IVar.VarSymbolic
ProblemIMP. buildVarSymbolic(String id, Domains.DomSymbolic dom)
ProblemIMP3.MVariable.MVarSymbolic
ProblemIMP3. buildVarSymbolic(String id, Domains.DomSymbolic dom)
Constructors in org.xcsp.modeler.implementation with parameters of type Domains.DomSymbolic Constructor Description MVarSymbolic(String id, Domains.DomSymbolic dom)
-