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 constraintallDifferent
on the specified symbolic variables: the variables must all take different values.default CtrEntities.CtrEntity
ProblemAPISymbolic. allDifferent(IVar.VarSymbolic[][] list)
Builds a constraintallDifferent
on the specified symbolic variables: the variables must all take different values.default CtrEntities.CtrEntity
ProblemAPISymbolic. allDifferent(IVar.VarSymbolic[][][] list)
Builds a constraintallDifferent
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 constraintallDifferent
on the specified symbolic variables: the variables must all take different values.default CtrEntities.CtrEntity
ProblemAPISymbolic. allEqual(IVar.VarSymbolic... list)
Builds a constraintallEqual
on the specified symbolic variables: the variables must all take the same value.default CtrEntities.CtrEntity
ProblemAPISymbolic. allEqual(IVar.VarSymbolic[][] list)
Builds a constraintallEqual
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 returnsfalse
.default CtrEntities.CtrEntity
ProblemAPISymbolic. ctrTrue(IVar.VarSymbolic[] scp)
Builds an entailed symbolic constraint, i.e., a special constraint that always returnstrue
.default CtrEntities.CtrEntity
ProblemAPISymbolic. extension(IVar.VarSymbolic[] scp, String[]... tuples)
Builds a symbolic constraintextension
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 constraintextension
from the specified scope and the specified array of symbolic tuples, seen as either supports (whenpositive
istrue
) or conflicts (whenpositive
isfalse
).default CtrEntities.CtrEntity
ProblemAPISymbolic. extension(IVar.VarSymbolic[] scp, TableSymbolic table)
Builds a symbolic constraintextension
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 constraintextension
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 constraintextension
from the specified variable and the specified array of symbolic values, seen as either supports (whenpositive
istrue
) or conflicts (whenpositive
isfalse
). -
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()
-
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
-