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 interface
static 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 reification
XVariables.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 that return types with arguments of type XVariables.XVar

Modifier and Type	Method	Description
abstract LinkedHashSet<XVariables.XVar>	ParsingEntry.CEntry.collectVars(LinkedHashSet<XVariables.XVar> set)	Collect the set of variables involved in this element, and add them to the specified set.
LinkedHashSet<XVariables.XVar>	XConstraints.CChild.collectVars(LinkedHashSet<XVariables.XVar> set)
LinkedHashSet<XVariables.XVar>	XConstraints.CEntryReifiable.collectVars(LinkedHashSet<XVariables.XVar> set)
LinkedHashSet<XVariables.XVar>	XConstraints.XBlock.collectVars(LinkedHashSet<XVariables.XVar> set)
LinkedHashSet<XVariables.XVar>	XConstraints.XCtr.collectVars(LinkedHashSet<XVariables.XVar> set)
LinkedHashSet<XVariables.XVar>	XConstraints.XGroup.collectVars(LinkedHashSet<XVariables.XVar> set)
LinkedHashSet<XVariables.XVar>	XConstraints.XLogic.collectVars(LinkedHashSet<XVariables.XVar> set)
LinkedHashSet<XVariables.XVar>	XConstraints.XSeqbin.collectVars(LinkedHashSet<XVariables.XVar> set)
LinkedHashSet<XVariables.XVar>	XConstraints.XSlide.collectVars(LinkedHashSet<XVariables.XVar> set)
List<XVariables.XVar>	XVariables.XArray.getVarsFor(String compactForm)	Returns the list of variables that match the specified compact form.

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.

Method parameters in org.xcsp.parser.entries with type arguments of type XVariables.XVar

Modifier and Type	Method	Description
abstract LinkedHashSet<XVariables.XVar>	ParsingEntry.CEntry.collectVars(LinkedHashSet<XVariables.XVar> set)	Collect the set of variables involved in this element, and add them to the specified set.
LinkedHashSet<XVariables.XVar>	XConstraints.CChild.collectVars(LinkedHashSet<XVariables.XVar> set)
LinkedHashSet<XVariables.XVar>	XConstraints.CEntryReifiable.collectVars(LinkedHashSet<XVariables.XVar> set)
LinkedHashSet<XVariables.XVar>	XConstraints.XBlock.collectVars(LinkedHashSet<XVariables.XVar> set)
LinkedHashSet<XVariables.XVar>	XConstraints.XCtr.collectVars(LinkedHashSet<XVariables.XVar> set)
LinkedHashSet<XVariables.XVar>	XConstraints.XGroup.collectVars(LinkedHashSet<XVariables.XVar> set)
LinkedHashSet<XVariables.XVar>	XConstraints.XLogic.collectVars(LinkedHashSet<XVariables.XVar> set)
LinkedHashSet<XVariables.XVar>	XConstraints.XSeqbin.collectVars(LinkedHashSet<XVariables.XVar> set)
LinkedHashSet<XVariables.XVar>	XConstraints.XSlide.collectVars(LinkedHashSet<XVariables.XVar> set)

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).