Uses of Interface
org.xcsp.common.IVar.VarSymbolic

Packages that use IVar.VarSymbolic

Package	Description
org.xcsp.modeler.api
org.xcsp.modeler.implementation
org.xcsp.parser.entries

Uses of IVar.VarSymbolic in org.xcsp.modeler.api

Methods in org.xcsp.modeler.api that return IVar.VarSymbolic

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.Size1D size, FunctionalInterfaces.IntToDomSymbolic f, String note, Types.TypeClass... classes)	Builds a 1-dimensional array of symbolic variables with the specified id, size, note (short comment) and classes.
default IVar.VarSymbolic[]	ProblemAPISymbolic.arraySymbolic(String id, Size.Size1D size, FunctionalInterfaces.IntToDomSymbolic f, Types.TypeClass... classes)	Builds a 1-dimensional array of symbolic variables with the specified id, size, 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.arraySymbolic(String id, Size.Size2D size, FunctionalInterfaces.Intx2ToDomSymbolic f, String note, Types.TypeClass... classes)	Builds a 2-dimensional array of symbolic variables with the specified id, size, note (short comment) and classes.
default IVar.VarSymbolic[][]	ProblemAPISymbolic.arraySymbolic(String id, Size.Size2D size, FunctionalInterfaces.Intx2ToDomSymbolic f, Types.TypeClass... classes)	Builds a 2-dimensional array of symbolic variables with the specified id, size, 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.

Methods in org.xcsp.modeler.api with parameters of type IVar.VarSymbolic

Modifier and Type	Method	Description
default CtrEntities.CtrEntity	ProblemAPISymbolic.allDifferent(IVar.VarSymbolic[] list)	Builds a constraint allDifferent on the specified symbolic variables: the variables must all take different values.
default CtrEntities.CtrEntity	ProblemAPISymbolic.allDifferent(IVar.VarSymbolic[][] list)	Builds a constraint allDifferent on the specified symbolic variables: the variables must all take different values.
default CtrEntities.CtrEntity	ProblemAPISymbolic.allDifferent(IVar.VarSymbolic[][][] list)	Builds a constraint allDifferent on the specified symbolic variables: the variables must all take different values.
default CtrEntities.CtrEntity	ProblemAPISymbolic.allDifferent(IVar.VarSymbolic x, IVar.VarSymbolic... others)	Builds a constraint allDifferent on the specified symbolic variables: the variables must all take different values.
default CtrEntities.CtrEntity	ProblemAPISymbolic.allEqual(IVar.VarSymbolic... list)	Builds a constraint allEqual on the specified symbolic variables: the variables must all take the same value.
default CtrEntities.CtrEntity	ProblemAPISymbolic.allEqual(IVar.VarSymbolic[][] list)	Builds a constraint allEqual on the specified symbolic variables: the variables must all take the same value.
default CtrEntities.CtrEntity	ProblemAPISymbolic.ctrFalse(IVar.VarSymbolic[] scp)	Builds a disentailed symbolic constraint, i.e., a special constraint that always returns false.
default CtrEntities.CtrEntity	ProblemAPISymbolic.ctrTrue(IVar.VarSymbolic[] scp)	Builds an entailed symbolic constraint, i.e., a special constraint that always returns true.
default CtrEntities.CtrEntity	ProblemAPISymbolic.extension(IVar.VarSymbolic[] scp, String[]... tuples)	Builds a symbolic constraint extension from the specified scope and the specified array of symbolic tuples, seen as supports.
default CtrEntities.CtrEntity	ProblemAPISymbolic.extension(IVar.VarSymbolic[] scp, String[][] tuples, Boolean positive)	Builds a symbolic constraint extension from the specified scope and the specified array of symbolic tuples, seen as either supports (when positive is true) or conflicts (when positive is false).
default CtrEntities.CtrEntity	ProblemAPISymbolic.extension(IVar.VarSymbolic[] scp, TableSymbolic table)	Builds a symbolic constraint extension from the specified scope and the specified table, whose elements are seen as supports.
default CtrEntities.CtrEntity	ProblemAPISymbolic.extension(IVar.VarSymbolic x, String... values)	Builds a unary symbolic constraint extension from the specified variable and the specified array of symbolic values, seen as supports.
default CtrEntities.CtrEntity	ProblemAPISymbolic.extension(IVar.VarSymbolic x, String[] values, Boolean positive)	Builds a unary symbolic constraint extension from the specified variable and the specified array of symbolic values, seen as either supports (when positive is true) or conflicts (when positive is false).

Uses of IVar.VarSymbolic in org.xcsp.modeler.implementation

Classes in org.xcsp.modeler.implementation that implement IVar.VarSymbolic

Modifier and Type	Class	Description
static class	ProblemIMP3.MVariable.MVarSymbolic

Methods in org.xcsp.modeler.implementation that return IVar.VarSymbolic

Modifier and Type	Method	Description
abstract IVar.VarSymbolic	ProblemIMP.buildVarSymbolic(String id, Domains.DomSymbolic dom)
IVar.VarSymbolic[]	ProblemIMP.fill(String id, Size.Size1D size, FunctionalInterfaces.IntToDomSymbolic f, IVar.VarSymbolic[] t)
IVar.VarSymbolic[][]	ProblemIMP.fill(String id, Size.Size2D size, FunctionalInterfaces.Intx2ToDomSymbolic f, IVar.VarSymbolic[][] t)
IVar.VarSymbolic[][][]	ProblemIMP.fill(String id, Size.Size3D size, FunctionalInterfaces.Intx3ToDomSymbolic f, IVar.VarSymbolic[][][] t)

Methods in org.xcsp.modeler.implementation that return types with arguments of type IVar.VarSymbolic

Modifier and Type	Method	Description
abstract Class<? extends IVar.VarSymbolic>	ProblemIMP.classVS()

Methods in org.xcsp.modeler.implementation with parameters of type IVar.VarSymbolic

Modifier and Type	Method	Description
abstract CtrEntities.CtrEntity	ProblemIMP.allDifferent(IVar.VarSymbolic[] list)
CtrEntities.CtrEntity	ProblemIMP3.allDifferent(IVar.VarSymbolic[] list)
abstract CtrEntities.CtrEntity	ProblemIMP.allEqual(IVar.VarSymbolic... list)
CtrEntities.CtrEntity	ProblemIMP3.allEqual(IVar.VarSymbolic... list)
abstract CtrEntities.CtrAlone	ProblemIMP.extension(IVar.VarSymbolic[] scp, String[][] tuples, boolean positive)
CtrEntities.CtrAlone	ProblemIMP3.extension(IVar.VarSymbolic[] list, String[][] tuples, boolean positive)
IVar.VarSymbolic[]	ProblemIMP.fill(String id, Size.Size1D size, FunctionalInterfaces.IntToDomSymbolic f, IVar.VarSymbolic[] t)
IVar.VarSymbolic[][]	ProblemIMP.fill(String id, Size.Size2D size, FunctionalInterfaces.Intx2ToDomSymbolic f, IVar.VarSymbolic[][] t)
IVar.VarSymbolic[][][]	ProblemIMP.fill(String id, Size.Size3D size, FunctionalInterfaces.Intx3ToDomSymbolic f, IVar.VarSymbolic[][][] t)

Uses of IVar.VarSymbolic in org.xcsp.parser.entries

Classes in org.xcsp.parser.entries that implement IVar.VarSymbolic

Modifier and Type	Class	Description
static class	XVariables.XVarSymbolic