Uses of Class
org.xcsp.parser.entries.XVariables.XVar
-
Packages that use XVariables.XVar Package Description org.xcsp.parser org.xcsp.parser.callbacks org.xcsp.parser.entries -
-
Uses of XVariables.XVar in org.xcsp.parser
Fields in org.xcsp.parser with type parameters of type XVariables.XVar Modifier and Type Field Description Map<String,XVariables.XVar>
XParser. mapForVars
The map that stores pairs (id,variable). -
Uses of XVariables.XVar in org.xcsp.parser.callbacks
Methods in org.xcsp.parser.callbacks with parameters of type XVariables.XVar Modifier and Type Method Description default void
XCallbacks. buildCtrFalse(String id, XVariables.XVar[] list)
Callback method for building in the solver an initially disentailed (i.e., universally unsatisfied) constraint.default void
XCallbacks. buildCtrTrue(String id, XVariables.XVar[] list)
Callback method for building in the solver an initially entailed (i.e., universally satisfied) constraint.void
FeatureDisplayer. loadVar(XVariables.XVar v)
default void
XCallbacks. loadVar(XVariables.XVar v)
Loads the specified variable. -
Uses of XVariables.XVar in org.xcsp.parser.entries
Subclasses of XVariables.XVar in org.xcsp.parser.entries Modifier and Type Class Description static class
XVariables.XVarInteger
The following classes are introduced, only for being able to have types for variables in the parser interfacestatic class
XVariables.XVarReal
static class
XVariables.XVarSet
static class
XVariables.XVarStochastic
static class
XVariables.XVarSymbolic
Fields in org.xcsp.parser.entries declared as XVariables.XVar Modifier and Type Field Description XVariables.XVar[][]
XConstraints.XSeqbin. scopes
XVariables.XVar[][]
XConstraints.XSlide. scopes
A two-dimensional array representing the scopes of the slided constraints.XVariables.XVar
XConstraints.XReification. var
The 0-1 variable used for reificationXVariables.XVar[]
XVariables.XArray. vars
The flat (one-dimensional) array composed of all variables contained in the (multi-dimensional) array.Fields in org.xcsp.parser.entries with type parameters of type XVariables.XVar Modifier and Type Field Description XNode<? extends XVariables.XVar>
XObjectives.OObjectiveExpr. rootNode
Methods in org.xcsp.parser.entries that return XVariables.XVar Modifier and Type Method Description static XVariables.XVar
XVariables.XVar. build(String id, Types.TypeVar type, Domains.IDom dom)
Builds a variable with the specified id, type and domain.static XVariables.XVar
XVariables.XVar. build(String idArray, Types.TypeVar type, Domains.IDom dom, int[] indexes)
Builds a variable from an array with the specified id (combined with the specified indexes), type and domain.static XVariables.XVar[][]
XConstraints.XSlide. buildScopes(XVariables.XVar[][] varsOfLists, int[] offset, int[] collect, boolean circular)
Builds the scopes of the constraints involved in the meta-constraint.XVariables.XVar[]
XConstraints.XGroup. getScope(int i)
Returns the scope of the ith constraint of the group.XVariables.XVar
XVariables.XArray. varAt(int... indexes)
Returns the variable at the position given by the multi-dimensional index.XVariables.XVar[]
ParsingEntry.CEntry. vars()
Returns the set of variables involved in this element.abstract XVariables.XVar[]
ParsingEntry.OEntry. vars()
XVariables.XVar[]
XObjectives.OObjectiveExpr. vars()
XVariables.XVar[]
XObjectives.OObjectiveSpecial. vars()
Methods in org.xcsp.parser.entries with parameters of type XVariables.XVar Modifier and Type Method Description static XVariables.XVar[][]
XConstraints.XSlide. buildScopes(XVariables.XVar[][] varsOfLists, int[] offset, int[] collect, boolean circular)
Builds the scopes of the constraints involved in the meta-constraint.Constructors in org.xcsp.parser.entries with parameters of type XVariables.XVar Constructor Description XReification(Types.TypeReification type, XVariables.XVar var)
XSeqbin(XConstraints.CChild list, XConstraints.XCtr template1, XConstraints.XCtr template2, XConstraints.CChild number, XVariables.XVar[][] scopes)
XSlide(XConstraints.CChild[] lists, int[] offsets, int[] collects, XConstraints.XCtr template, XVariables.XVar[][] scopes)
Constructor parameters in org.xcsp.parser.entries with type arguments of type XVariables.XVar Constructor Description OObjectiveExpr(boolean minimize, Types.TypeObjective type, XNode<? extends XVariables.XVar> rootNode)
Builds an objective from the specified functional expression (given by the root of a syntactic tree).
-