Uses of Interface
org.xcsp.common.IVar

Packages that use IVar

Package	Description
org.xcsp.common
org.xcsp.common.predicates
org.xcsp.modeler
org.xcsp.modeler.api
org.xcsp.modeler.definitions
org.xcsp.modeler.entities
org.xcsp.modeler.implementation
org.xcsp.parser.entries

Uses of IVar in org.xcsp.common

Subinterfaces of IVar in org.xcsp.common

Modifier and Type	Interface	Description
static interface	IVar.Var	This is the root interface of any integer variable, handled either in the parser or the modeler.
static interface	IVar.VarSymbolic	This is the root interface of any symbolic variable, handled either in the parser or the modeler.

Fields in org.xcsp.common declared as IVar

Modifier and Type	Field	Description
IVar	Condition.ConditionVar.x	The variable that represents the operand of the condition.

Methods in org.xcsp.common with type parameters of type IVar

Modifier and Type	Method	Description
<T extends IVar> T[]	Range.provideVars(java.util.function.IntFunction<T> f)	Deprecated.

Methods in org.xcsp.common that return IVar

Modifier and Type	Method	Description
IVar	Condition.ConditionVar.involvedVar()
default IVar	Condition.involvedVar()	Returns the variable involved in the condition, if one is present, null otherwise.
<T extends IVar> T[]	Range.provideVars(java.util.function.IntFunction<T> f)	Deprecated.

Methods in org.xcsp.common that return types with arguments of type IVar

Modifier and Type	Method	Description
static XNodeParent<IVar>	Condition.toNode(IVar x, Condition condition)

Methods in org.xcsp.common with parameters of type IVar

Modifier and Type	Method	Description
static XNodeParent<IVar>	Condition.toNode(IVar x, Condition condition)

Constructors in org.xcsp.common with parameters of type IVar

Constructor	Description
ConditionVar(Types.TypeConditionOperatorRel operator, IVar x)	Constructs a condition composed of the specified relational operator and the specified variable as (right) operand

Uses of IVar in org.xcsp.common.predicates

Classes in org.xcsp.common.predicates with type parameters of type IVar

Modifier and Type	Class	Description
class	XNode<V extends IVar>	This class is used for representing a node of a syntactic tree, which is built for functional expressions, and used especially with element <intension>.
class	XNodeLeaf<V extends IVar>	The class used for representing a leaf node in a syntactic tree.
class	XNodeParent<V extends IVar>	The class used for representing a parent node in a syntactic tree.
class	XNodeParentSpecial<V extends IVar>

Fields in org.xcsp.common.predicates with type parameters of type IVar

Modifier and Type	Field	Description
static XNodeLeaf<IVar>	MatcherInterface.add_mul_vals
static XNodeLeaf<IVar>	MatcherInterface.add_mul_vars
static XNodeLeaf<IVar>	MatcherInterface.add_vars
static XNodeLeaf<IVar>	MatcherInterface.any
static XNodeLeaf<IVar>	MatcherInterface.any_add_val
static XNodeLeaf<IVar>	MatcherInterface.anyc
static XNodeLeaf<IVar>	MatcherInterface.logic_vars
static XNodeLeaf<IVar>	MatcherInterface.max_vars
static XNodeLeaf<IVar>	MatcherInterface.min_vars
static XNodeLeaf<IVar>	MatcherInterface.mul_vars
static XNodeLeaf<IVar>	MatcherInterface.not
static XNodeLeaf<IVar>	MatcherInterface.set_vals
static XNodeLeaf<IVar>	MatcherInterface.sub
static XNodeLeaf<IVar>	MatcherInterface.val
static XNodeLeaf<IVar>	MatcherInterface.var
static XNodeLeaf<IVar>	MatcherInterface.var_add_val
static XNodeLeaf<IVar>	MatcherInterface.varOrVal

Methods in org.xcsp.common.predicates with type parameters of type IVar

Modifier and Type	Method	Description
static <V extends IVar> XNodeLeaf<V>	XNode.longLeaf(long value)
static <V extends IVar> XNodeParent<V>	XNode.node(MatcherInterface.AbstractOperation type, XNode<V> son)
static <V extends IVar> XNodeParent<V>	XNode.node(MatcherInterface.AbstractOperation type, XNode<V> left, XNode<V> right)
static <V extends IVar> XNodeParent<V>	XNode.node(Types.TypeExpr type, List<XNode<V>> sons)
static <V extends IVar> XNodeParent<V>	XNode.node(Types.TypeExpr type, java.util.stream.Stream<XNode<V>> sons)
static <V extends IVar> XNodeParent<V>	XNode.node(Types.TypeExpr type, XNode<V> son)
static <V extends IVar> XNodeParent<V>	XNode.node(Types.TypeExpr type, XNode<V>[] sons)
static <V extends IVar> XNodeParent<V>	XNode.node(Types.TypeExpr type, XNode<V> left, XNode<V> right)
static <V extends IVar> XNodeLeaf<V>	XNode.specialLeaf(String value)

Methods in org.xcsp.common.predicates that return IVar

Modifier and Type	Method	Description
V[]	XNode.arrayOfVars()	Returns the list of variables in the tree rooted by this node, in the order they are encountered, or null if there is none.
V[]	XNode.vars()	Returns the set of variables in the tree rooted by this node, in the order they are collected, or null if there is none.

Methods in org.xcsp.common.predicates that return types with arguments of type IVar

Modifier and Type	Method	Description
static XNodeParent<IVar>	XNodeParent.abs(Object operand)
static XNodeParent<IVar>	XNodeParent.add(Object... operands)
static XNodeParent<IVar>	XNodeParent.and(Object... operands)
static XNodeParent<IVar>	XNodeParent.build(Types.TypeExpr type, Object... os)
static XNodeParent<IVar>	XNodeParent.dist(Object operand1, Object operand2)
static XNodeParent<IVar>	XNodeParent.div(Object operand1, Object operand2)
static XNodeParent<IVar>	XNodeParent.eq(Object... operands)
static XNodeParent<IVar>	XNodeParent.ge(Object operand1, Object operand2)
static XNodeParent<IVar>	XNodeParent.gt(Object operand1, Object operand2)
static XNodeParent<IVar>	XNodeParent.iff(Object... operands)
static XNodeParent<IVar>	XNodeParent.ifThenElse(Object operand1, Object operand2, Object operand3)
static XNodeParent<IVar>	XNodeParent.imp(Object operand1, Object operand2)
static XNodeParent<IVar>	XNodeParent.in(Object var, Object set)
static XNodeParent<IVar>	XNodeParent.le(Object operand1, Object operand2)
static XNodeParent<IVar>	XNodeParent.lt(Object operand1, Object operand2)
static XNodeParent<IVar>	XNodeParent.max(Object... operands)
static XNodeParent<IVar>	XNodeParent.min(Object... operands)
static XNodeParent<IVar>	XNodeParent.mod(Object operand1, Object operand2)
static XNodeParent<IVar>	XNodeParent.mul(Object... operands)
static XNodeParent<IVar>	XNodeParent.ne(Object... operands)
static XNodeParent<IVar>	XNodeParent.neg(Object operand)
static XNodeParent<IVar>	XNodeParent.not(Object operand)
static XNodeParent<IVar>	XNodeParent.notin(Object var, Object set)
static XNodeParent<IVar>	XNodeParent.or(Object... operands)
static XNodeParent<IVar>	XNodeParent.pow(Object operand1, Object operand2)
static XNodeParent<IVar>	XNodeParent.scalar(int[] t1, Object[] t2)
static XNode<IVar>	XNodeParent.set(int[] operands)
static XNode<IVar>	XNodeParent.set(Object... operands)
static XNodeParent<IVar>	XNodeParent.sqr(Object operand)
static XNodeParent<IVar>	XNodeParent.sub(Object operand1, Object operand2)
XNode<IVar>	MatcherInterface.Matcher.target()
XNode<IVar>	MatcherInterface.target()	Returns the target tree, which may possibly involve some form of abstraction by means of special nodes.
static XNodeParent<IVar>	XNodeParent.xor(Object... operands)

Methods in org.xcsp.common.predicates with parameters of type IVar

Modifier and Type	Method	Description
boolean	XNode.exactlyVars(V[] t)	Return true iff the sequence of variables (without duplicates) encountered in the tree rooted by this node is exactly the specified array.
abstract String	XNode.toPostfixExpression(IVar[] scopeForAbstraction)	Returns a string denoting the post-fixed expression of the tree rooted by this node.
String	XNodeLeaf.toPostfixExpression(IVar[] scopeForAbstraction)
String	XNodeParent.toPostfixExpression(IVar[] scopeForAbstraction)

Method parameters in org.xcsp.common.predicates with type arguments of type IVar

Modifier and Type	Method	Description
default boolean	MatcherInterface.matches(XNode<? extends IVar> tree)	Returns true if the predefined target tree matches the specified (source) tree.
default boolean	MatcherInterface.matching(XNode<? extends IVar> source, XNode<IVar> target, int level)	Returns true if the specified source tree matches the specified target tree (at the specified level).
boolean	MatcherInterface.Matcher.validForSpecialTargetNode(XNode<? extends IVar> node, int level)
boolean	MatcherInterface.validForSpecialTargetNode(XNode<? extends IVar> node, int level)	Returns true if the specified node (considered at the specified level/depth) is valid with respect to the target tree when assuming that the corresponding node in the target tree is a special node.

Constructor parameters in org.xcsp.common.predicates with type arguments of type IVar

Constructor	Description
Matcher(XNode<IVar> target)	Builds a Matcher object with the specified target tree.
Matcher(XNode<IVar> target, java.util.function.BiPredicate<XNode<? extends IVar>,Integer> p)	Builds a Matcher object with the specified target tree.
Matcher(XNode<IVar> target, java.util.function.BiPredicate<XNode<? extends IVar>,Integer> p)	Builds a Matcher object with the specified target tree.
TreeEvaluator(XNode<? extends IVar> tree)
TreeEvaluator(XNode<? extends IVar> tree, Map<String,Integer> mapOfSymbols)

Uses of IVar in org.xcsp.modeler

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

Modifier and Type	Method	Description
protected void	Compiler.putInMap(IVar x, Map<IVar,String> map)

Method parameters in org.xcsp.modeler with type arguments of type IVar

Modifier and Type	Method	Description
protected void	Compiler.putInMap(IVar x, Map<IVar,String> map)

Uses of IVar in org.xcsp.modeler.api

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

Modifier and Type	Method	Description
default <T extends IVar> T[]	ProblemAPIOnVars.clean(T[] vars)	Builds and returns a 1-dimensional array of variables from the specified 1-dimensional array of variables, by discarding null values.
default <T extends IVar,U> T[]	ProblemAPIOnVars.singleVariablesFrom(Collection<U> c, java.util.function.Function<U,Object> f)	Builds and returns a 1-dimensional array of variables from the specified collection.
default <T extends IVar,U> T[]	ProblemAPIOnVars.singleVariablesFrom(java.util.stream.Stream<U> stream, java.util.function.Function<U,Object> f)	Builds and returns a 1-dimensional array of variables from the specified stream.
default <T extends IVar> T[]	ProblemAPIOnVars.singleVariablesIn(Object... objects)	Builds and returns a 1-dimensional array of variables from the specified sequence of parameters.
default <T extends IVar> T[]	ProblemAPIOnVars.variablesFrom(int[] t, java.util.function.Function<Integer,Object> f)	Builds and returns a 1-dimensional array of variables from the specified array.
default <T extends IVar,U> T[]	ProblemAPIOnVars.variablesFrom(Collection<U> c, java.util.function.Function<U,Object> f)	Builds and returns a 1-dimensional array of variables from the specified collection.
default <T extends IVar,U> T[]	ProblemAPIOnVars.variablesFrom(java.util.stream.IntStream stream, java.util.function.Function<Integer,Object> f)	Builds and returns a 1-dimensional array of variables from the specified stream.
default <T extends IVar,U> T[]	ProblemAPIOnVars.variablesFrom(java.util.stream.Stream<U> stream, java.util.function.Function<U,Object> f)	Builds and returns a 1-dimensional array of variables from the specified stream.
default <T extends IVar> T[]	ProblemAPIOnVars.variablesFrom(Range r, java.util.function.Function<Integer,Object> f)	Returns a 1-dimensional array of variables, obtained after collecting the variables returned by the specified function when executed on all values in this range.
default <T extends IVar,U> T[]	ProblemAPIOnVars.variablesFrom(U[] t, java.util.function.Function<U,Object> f)	Builds and returns a 1-dimensional array of variables from the specified array.
default <T extends IVar> T[]	ProblemAPIOnVars.variablesIn(Object object, Object... otherObjects)	Builds and returns a 1-dimensional array of variables from the specified sequence of parameters.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(Object first, Object... others)	Builds and returns a 1-dimensional array of variables from the specified sequence of parameters.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(Object first, T x)	Builds and returns a 1-dimensional array of variables from the specified parameters.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(Object first, T[] x)	Builds and returns a 1-dimensional array of variables from the specified parameters.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(Object first, T[][] x)	Builds and returns a 1-dimensional array of variables from the specified parameters.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(java.util.stream.Stream<T> stream)	Returns a 1-dimensional array of variables by collecting them in order from the specified stream.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(T[][] vars)	Builds and returns a 1-dimensional array of variables from the specified array.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(T[][][] vars)	Builds and returns a 1-dimensional array of variables from the specified array.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(T x, T... others)	Returns a 1-dimensional array containing the specified variables.

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

Modifier and Type	Method	Description
default <T extends IVar> T[]	ProblemAPIOnVars.clean(T[] vars)	Builds and returns a 1-dimensional array of variables from the specified 1-dimensional array of variables, by discarding null values.
default <T extends IVar,U> T[]	ProblemAPIOnVars.singleVariablesFrom(Collection<U> c, java.util.function.Function<U,Object> f)	Builds and returns a 1-dimensional array of variables from the specified collection.
default <T extends IVar,U> T[]	ProblemAPIOnVars.singleVariablesFrom(java.util.stream.Stream<U> stream, java.util.function.Function<U,Object> f)	Builds and returns a 1-dimensional array of variables from the specified stream.
default <T extends IVar> T[]	ProblemAPIOnVars.singleVariablesIn(Object... objects)	Builds and returns a 1-dimensional array of variables from the specified sequence of parameters.
default <T extends IVar> T[]	ProblemAPIOnVars.variablesFrom(int[] t, java.util.function.Function<Integer,Object> f)	Builds and returns a 1-dimensional array of variables from the specified array.
default <T extends IVar,U> T[]	ProblemAPIOnVars.variablesFrom(Collection<U> c, java.util.function.Function<U,Object> f)	Builds and returns a 1-dimensional array of variables from the specified collection.
default <T extends IVar,U> T[]	ProblemAPIOnVars.variablesFrom(java.util.stream.IntStream stream, java.util.function.Function<Integer,Object> f)	Builds and returns a 1-dimensional array of variables from the specified stream.
default <T extends IVar,U> T[]	ProblemAPIOnVars.variablesFrom(java.util.stream.Stream<U> stream, java.util.function.Function<U,Object> f)	Builds and returns a 1-dimensional array of variables from the specified stream.
default <T extends IVar> T[]	ProblemAPIOnVars.variablesFrom(Range r, java.util.function.Function<Integer,Object> f)	Returns a 1-dimensional array of variables, obtained after collecting the variables returned by the specified function when executed on all values in this range.
default <T extends IVar,U> T[]	ProblemAPIOnVars.variablesFrom(U[] t, java.util.function.Function<U,Object> f)	Builds and returns a 1-dimensional array of variables from the specified array.
default <T extends IVar> T[]	ProblemAPIOnVars.variablesIn(Object object, Object... otherObjects)	Builds and returns a 1-dimensional array of variables from the specified sequence of parameters.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(Object first, Object... others)	Builds and returns a 1-dimensional array of variables from the specified sequence of parameters.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(Object first, T x)	Builds and returns a 1-dimensional array of variables from the specified parameters.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(Object first, T[] x)	Builds and returns a 1-dimensional array of variables from the specified parameters.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(Object first, T[][] x)	Builds and returns a 1-dimensional array of variables from the specified parameters.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(java.util.stream.Stream<T> stream)	Returns a 1-dimensional array of variables by collecting them in order from the specified stream.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(T[][] vars)	Builds and returns a 1-dimensional array of variables from the specified array.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(T[][][] vars)	Builds and returns a 1-dimensional array of variables from the specified array.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(T x, T... others)	Returns a 1-dimensional array containing the specified variables.

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

Modifier and Type	Method	Description
default XNodeParent<IVar>	ProblemAPI.abs(Object operand)	Returns the root of a syntactic tree built with the unary operator abs applied to the specified operand.
default XNodeParent<IVar>	ProblemAPI.add(Object... operands)	Returns the root of a syntactic tree built with the operator add applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.and(Object... operands)	Returns the root of a syntactic tree built with the operator and applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.dist(Object operand1, Object operand2)	Returns the root of a syntactic tree built with the binary operator dist applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.div(Object operand1, Object operand2)	Returns the root of a syntactic tree built with the binary operator div applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.eq(Object... operands)	Returns the root of a syntactic tree built with the operator eq applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.ge(Object operand1, Object operand2)	Returns the root of a syntactic tree built with the binary operator ge applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.gt(Object operand1, Object operand2)	Returns the root of a syntactic tree built with the binary operator gt applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.iff(Object... operands)	Returns the root of a syntactic tree built with the operator iff applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.ifThenElse(Object operand1, Object operand2, Object operand3)	Returns the root of a syntactic tree built with the binary operator if applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.imp(Object operand1, Object operand2)	Returns the root of a syntactic tree built with the binary operator imp applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.in(Object var, Object set)	Returns the root of a syntactic tree built with the operator in applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.knightAttack(IVar x, IVar y, int order)	Returns the root of a syntactic tree that represents the predicate ensuring that the specified variables are put in two cells of a flattened matrix (whose order is specified) at a knight distance.
default XNodeParent<IVar>	ProblemAPI.le(Object operand1, Object operand2)	Returns the root of a syntactic tree built with the binary operator le applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.lt(Object operand1, Object operand2)	Returns the root of a syntactic tree built with the binary operator lt applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.max(Object... operands)	Returns the root of a syntactic tree built with the operator max applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.min(Object... operands)	Returns the root of a syntactic tree built with the operator min applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.mod(Object operand1, Object operand2)	Returns the root of a syntactic tree built with the binary operator mod applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.mul(Object... operands)	Returns the root of a syntactic tree built with the operator mul applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.ne(Object... operands)	Returns the root of a syntactic tree built with the operator ne applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.neg(Object operand)	Returns the root of a syntactic tree built with the unary operator neg applied to the specified operand.
default XNodeParent<IVar>	ProblemAPI.not(Object operand)	Returns the root of a syntactic tree built with the unary operator not applied to the specified operand.
default XNodeParent<IVar>	ProblemAPI.notin(Object var, Object set)	Returns the root of a syntactic tree built with the operator notin applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.or(Object... operands)	Returns the root of a syntactic tree built with the operator or applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.pow(Object operand1, Object operand2)	Returns the root of a syntactic tree built with the binary operator pow applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.queenAttack(IVar x, IVar y, int order)	Returns the root of a syntactic tree that represents the predicate ensuring that the specified variables are put in two distinct cells of a flattened matrix (whose order is specified) on the same row, column or diagonal.
default XNode<IVar>	ProblemAPI.set(int[] operands)	Returns the node of a syntactic tree built with the operator set applied to the integers from the specified array.
default XNode<IVar>	ProblemAPI.set(Object... operands)	Returns the root of a syntactic tree built with the operator set applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.sqr(Object operand)	Returns the root of a syntactic tree built with the unary operator sqr applied to the specified operand.
default XNodeParent<IVar>	ProblemAPI.sub(Object operand1, Object operand2)	Returns the root of a syntactic tree built with the binary operator sub applied to the specified operands.
default java.util.stream.Stream<XNode<IVar>>	ProblemAPI.treesFrom(int[] t, java.util.function.Function<Integer,XNode<IVar>> f)	Returns a stream of syntactic trees (predicates) built by applying the specified function to each integer of the specified array.
default java.util.stream.Stream<XNode<IVar>>	ProblemAPI.treesFrom(Collection<Integer> c, java.util.function.Function<Integer,XNode<IVar>> f)	Returns a stream of syntactic trees (predicates) built by applying the specified function to each integer of the specified collection.
default java.util.stream.Stream<XNode<IVar>>	ProblemAPI.treesFrom(java.util.stream.IntStream stream, java.util.function.Function<Integer,XNode<IVar>> f)	Returns a stream of syntactic trees (predicates) built by applying the specified function to each integer of the specified stream.
default java.util.stream.Stream<XNode<IVar>>	ProblemAPI.treesFrom(IVar[] t, java.util.function.Function<IVar,XNode<IVar>> f)	Returns a stream of syntactic trees (predicates) built by applying the specified function to each variable of the specified array.
default java.util.stream.Stream<XNode<IVar>>	ProblemAPI.treesFrom(Range r, java.util.function.Function<Integer,XNode<IVar>> f)	Returns a stream of syntactic trees (predicates) built by applying the specified function to each integer of the specified range.
default XNodeParent<IVar>	ProblemAPI.xor(Object... operands)	Returns the root of a syntactic tree built with the operator xor applied to the specified operands.

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

Modifier and Type	Method	Description
default <T extends IVar> T[]	ProblemAPIOnVars.clean(T[] vars)	Builds and returns a 1-dimensional array of variables from the specified 1-dimensional array of variables, by discarding null values.
default void	ProblemAPI.decisionVariables(IVar[] list)	Sets the specified variables as those on which a solver should branch in priority.
default void	ProblemAPI.decisionVariables(IVar[][] list)	Sets the specified variables as those on which a solver should branch in priority.
default XNodeParent<IVar>	ProblemAPI.knightAttack(IVar x, IVar y, int order)	Returns the root of a syntactic tree that represents the predicate ensuring that the specified variables are put in two cells of a flattened matrix (whose order is specified) at a knight distance.
default ObjEntities.ObjEntity	ProblemAPI.maximize(IVar x)	Builds an objective (function) to maximize: the value of the specified variable.
default ObjEntities.ObjEntity	ProblemAPI.maximize(Types.TypeObjective type, IVar... list)	Builds an objective (function) to maximize: the objective is defined by the specified type on the specified array of variables.
default ObjEntities.ObjEntity	ProblemAPI.maximize(Types.TypeObjective type, IVar[][] list)	Builds an objective (function) to maximize: the objective is defined by the specified type on the specified 2-dimensional array of variables that will be flattened (i.e., converted into a 1-dimensional array of variables).
default ObjEntities.ObjEntity	ProblemAPI.maximize(Types.TypeObjective type, IVar[][][] list)	Builds an objective (function) to maximize: the objective is defined by the specified type on the specified 3-dimensional array of variables that will be flattened (i.e., converted into a 1-dimensional array of variables).
default ObjEntities.ObjEntity	ProblemAPI.maximize(Types.TypeObjective type, IVar[][][] list, int[][][] coeffs)	Builds an objective (function) to maximize: the objective is defined by the specified type on the specified 3-dimensional array of variables, each of them being given a coefficient.
default ObjEntities.ObjEntity	ProblemAPI.maximize(Types.TypeObjective type, IVar[][][] list, int[][][] coeffs, FunctionalInterfaces.Intx3Predicate p)	Builds an objective (function) to maximize: the objective is defined by the specified type on the specified 3-dimensional array of variables, each of them being given a coefficient.
default ObjEntities.ObjEntity	ProblemAPI.maximize(Types.TypeObjective type, IVar[][] list, int[][] coeffs)	Builds an objective (function) to maximize: the objective is defined by the specified type on the specified 2-dimensional array of variables, each of them being given a coefficient.
default ObjEntities.ObjEntity	ProblemAPI.maximize(Types.TypeObjective type, IVar[][] list, int[][] coeffs, FunctionalInterfaces.Intx2Predicate p)	Builds an objective (function) to maximize: the objective is defined by the specified type on the specified 2-dimensional array of variables, each of them being given a coefficient.
default ObjEntities.ObjEntity	ProblemAPI.maximize(Types.TypeObjective type, IVar[] list, int[] coeffs)	Builds an objective (function) to maximize: the objective is defined by the specified type on the specified array of variables, each of them being given a coefficient.
default ObjEntities.ObjEntity	ProblemAPI.minimize(IVar x)	Builds an objective (function) to minimize: the value of the specified variable.
default ObjEntities.ObjEntity	ProblemAPI.minimize(Types.TypeObjective type, IVar... list)	Builds an objective (function) to minimize: the objective is defined by the specified type on the specified array of variables.
default ObjEntities.ObjEntity	ProblemAPI.minimize(Types.TypeObjective type, IVar[][] list)	Builds an objective (function) to minimize: the objective is defined by the specified type on the specified 2-dimensional array of variables that will be flattened (i.e., converted into a 1-dimensional array of variables).
default ObjEntities.ObjEntity	ProblemAPI.minimize(Types.TypeObjective type, IVar[][][] list)	Builds an objective (function) to minimize: the objective is defined by the specified type on the specified 3-dimensional array of variables that will be flattened (i.e., converted into a 1-dimensional array of variables).
default ObjEntities.ObjEntity	ProblemAPI.minimize(Types.TypeObjective type, IVar[][][] list, int[][][] coeffs)	Builds an objective (function) to minimize: the objective is defined by the specified type on the specified 3-dimensional array of variables, each of them being given a coefficient.
default ObjEntities.ObjEntity	ProblemAPI.minimize(Types.TypeObjective type, IVar[][][] list, int[][][] coeffs, FunctionalInterfaces.Intx3Predicate p)	Builds an objective (function) to minimize: the objective is defined by the specified type on the specified 3-dimensional array of variables, each of them being given a coefficient.
default ObjEntities.ObjEntity	ProblemAPI.minimize(Types.TypeObjective type, IVar[][] list, int[][] coeffs)	Builds an objective (function) to minimize: the objective is defined by the specified type on the specified 2-dimensional array of variables, each of them being given a coefficient.
default ObjEntities.ObjEntity	ProblemAPI.minimize(Types.TypeObjective type, IVar[][] list, int[][] coeffs, FunctionalInterfaces.Intx2Predicate p)	Builds an objective (function) to minimize: the objective is defined by the specified type on the specified 2-dimensional array of variables, each of them being given a coefficient.
default ObjEntities.ObjEntity	ProblemAPI.minimize(Types.TypeObjective type, IVar[] list, int[] coeffs)	Builds an objective (function) to minimize: the objective is defined by the specified type on the specified array of variables, each of them being given a coefficient.
default XNodeParent<IVar>	ProblemAPI.queenAttack(IVar x, IVar y, int order)	Returns the root of a syntactic tree that represents the predicate ensuring that the specified variables are put in two distinct cells of a flattened matrix (whose order is specified) on the same row, column or diagonal.
default CtrEntities.CtrEntity	ProblemAPI.slide(IVar[] list, Range range, java.util.function.IntFunction<CtrEntities.CtrEntity> template)	Builds a meta-constraint slide from the specified arguments.
default java.util.stream.Stream<XNode<IVar>>	ProblemAPI.treesFrom(IVar[] t, java.util.function.Function<IVar,XNode<IVar>> f)	Returns a stream of syntactic trees (predicates) built by applying the specified function to each variable of the specified array.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(Object first, T[] x)	Builds and returns a 1-dimensional array of variables from the specified parameters.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(Object first, T[][] x)	Builds and returns a 1-dimensional array of variables from the specified parameters.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(T[][] vars)	Builds and returns a 1-dimensional array of variables from the specified array.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(T[][][] vars)	Builds and returns a 1-dimensional array of variables from the specified array.
default <T extends IVar> T[]	ProblemAPIOnVars.vars(T x, T... others)	Returns a 1-dimensional array containing the specified variables.

Method parameters in org.xcsp.modeler.api with type arguments of type IVar

Modifier and Type	Method	Description
default CtrEntities.CtrEntity	ProblemAPI.allDifferent(java.util.stream.Stream<XNode<IVar>> trees)	Builds a constraint allDifferent on the specified (stream of) syntactic trees (predicates): the predicates, when evaluated, must all take different values.
default CtrEntities.CtrAlone	ProblemAPI.extension(XNodeParent<IVar> tree)	Builds a constraint extension from the specified syntactic tree (predicate).
default CtrEntities.CtrAlone	ProblemAPI.extensionDisjunction(List<XNodeParent<IVar>> trees)
default CtrEntities.CtrEntity	ProblemAPI.intension(XNodeParent<IVar> tree)	Builds a constraint intension from the specified argument that represents the root of a syntactic tree.
default ObjEntities.ObjEntity	ProblemAPI.maximize(XNode<IVar> tree)
default ObjEntities.ObjEntity	ProblemAPI.maximize(Types.TypeObjective type, java.util.stream.Stream<XNode<IVar>> trees)
default ObjEntities.ObjEntity	ProblemAPI.maximize(Types.TypeObjective type, java.util.stream.Stream<XNode<IVar>> trees, int[] coeffs)
default ObjEntities.ObjEntity	ProblemAPI.minimize(XNode<IVar> tree)
default ObjEntities.ObjEntity	ProblemAPI.minimize(Types.TypeObjective type, java.util.stream.Stream<XNode<IVar>> trees)
default ObjEntities.ObjEntity	ProblemAPI.minimize(Types.TypeObjective type, java.util.stream.Stream<XNode<IVar>> trees, int[] coeffs)
default CtrEntities.CtrEntity	ProblemAPI.sum(java.util.stream.Stream<XNode<IVar>> trees, int[] coeffs, Condition condition)	Builds a constraint sum from the specified arguments: the weighted sum must respect the specified condition.
default CtrEntities.CtrEntity	ProblemAPI.sum(java.util.stream.Stream<XNode<IVar>> trees, int[] coeffs, Types.TypeConditionOperatorRel op, long limit)	Builds a constraint sum from the specified arguments: the weighted sum must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(java.util.stream.Stream<XNode<IVar>> trees, int[] coeffs, Types.TypeConditionOperatorRel op, IVar.Var limit)	Builds a constraint sum from the specified arguments: the weighted sum must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(java.util.stream.Stream<XNode<IVar>> trees, Condition condition)	Builds a constraint sum from the specified arguments: the (simple) sum must respect the specified condition.
default CtrEntities.CtrEntity	ProblemAPI.sum(java.util.stream.Stream<XNode<IVar>> trees, Types.TypeConditionOperatorRel op, long limit)	Builds a constraint sum from the specified arguments: the (simple) sum must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(java.util.stream.Stream<XNode<IVar>> trees, Types.TypeConditionOperatorRel op, IVar.Var limit)	Builds a constraint sum from the specified arguments: the (simple) sum must respect the condition expressed by the specified operator and the specified limit.
default java.util.stream.Stream<XNode<IVar>>	ProblemAPI.treesFrom(int[] t, java.util.function.Function<Integer,XNode<IVar>> f)	Returns a stream of syntactic trees (predicates) built by applying the specified function to each integer of the specified array.
default java.util.stream.Stream<XNode<IVar>>	ProblemAPI.treesFrom(Collection<Integer> c, java.util.function.Function<Integer,XNode<IVar>> f)	Returns a stream of syntactic trees (predicates) built by applying the specified function to each integer of the specified collection.
default java.util.stream.Stream<XNode<IVar>>	ProblemAPI.treesFrom(java.util.stream.IntStream stream, java.util.function.Function<Integer,XNode<IVar>> f)	Returns a stream of syntactic trees (predicates) built by applying the specified function to each integer of the specified stream.
default java.util.stream.Stream<XNode<IVar>>	ProblemAPI.treesFrom(IVar[] t, java.util.function.Function<IVar,XNode<IVar>> f)	Returns a stream of syntactic trees (predicates) built by applying the specified function to each variable of the specified array.
default java.util.stream.Stream<XNode<IVar>>	ProblemAPI.treesFrom(IVar[] t, java.util.function.Function<IVar,XNode<IVar>> f)	Returns a stream of syntactic trees (predicates) built by applying the specified function to each variable of the specified array.
default java.util.stream.Stream<XNode<IVar>>	ProblemAPI.treesFrom(Range r, java.util.function.Function<Integer,XNode<IVar>> f)	Returns a stream of syntactic trees (predicates) built by applying the specified function to each integer of the specified range.

Uses of IVar in org.xcsp.modeler.definitions

Methods in org.xcsp.modeler.definitions that return IVar

Modifier and Type	Method	Description
default IVar[]	IRootForCtrAndObj.scope()

Methods in org.xcsp.modeler.definitions with parameters of type IVar

Modifier and Type	Method	Description
static ICtr.ICtrAllDifferent	ICtr.ICtrAllDifferent.buildFrom(IVar[] scope, String key1, Object value1, String except)
static ICtr.ICtrAllEqual	ICtr.ICtrAllEqual.buildFrom(IVar[] scope, String key, Object value)
static ICtr.ICtrCardinality	ICtr.ICtrCardinality.buildFrom(IVar[] scope, String list, String values, Boolean closed, String occurs)
static ICtr.ICtrChannel	ICtr.ICtrChannel.buildFrom(IVar[] scope, String list, Integer startIndex, String list2, Integer startIndex2, Object value)
static ICtr.ICtrCircuit	ICtr.ICtrCircuit.buildFrom(IVar[] scope, String list, Integer startIndex, Object size)
static ICtr.ICtrClause	ICtr.ICtrClause.buildFrom(IVar[] scope, String list)
static ICtr.ICtrCount	ICtr.ICtrCount.buildFrom(IVar[] scope, String list, Object values, Condition condition)
static ICtr.ICtrCumulative	ICtr.ICtrCumulative.buildFrom(IVar[] scope, String origins, String lengths, String ends, String heights, Condition condition)
static ICtr.ICtrElement	ICtr.ICtrElement.buildFrom(IVar[] scope, String list, Integer startIndex, Object index, Types.TypeRank rank, Condition condition)
static ICtr.ICtrElementMatrix	ICtr.ICtrElementMatrix.buildFrom(IVar[] scope, Object matrix, Integer startRowIndex, Object rowIndex, Integer startColIndex, Object colIndex, Object value)
static ICtr.ICtrExtension	ICtr.ICtrExtension.buildFrom(IVar[] scope, String list, int arity, int[][] tuples, boolean positive)
static ICtr.ICtrExtension	ICtr.ICtrExtension.buildFrom(IVar[] scope, String list, int arity, String[][] tuples, boolean positive)
static ICtr.ICtrIfThen	ICtr.ICtrIfThen.buildFrom(IVar[] scope, CtrEntities.CtrAlone ca1, CtrEntities.CtrAlone ca2)
static ICtr.ICtrIfThenElse	ICtr.ICtrIfThenElse.buildFrom(IVar[] scope, CtrEntities.CtrAlone ca1, CtrEntities.CtrAlone ca2, CtrEntities.CtrAlone ca3)
static ICtr.ICtrInstantiation	ICtr.ICtrInstantiation.buildFrom(IVar[] scope, String list, String values)
static ICtr.ICtrIntension	ICtr.ICtrIntension.buildFrom(IVar[] scope, XNodeParent<IVar> tree)
static ICtr.ICtrMaximum	ICtr.ICtrMaximum.buildFrom(IVar[] scope, String list, Integer startIndex, Object index, Types.TypeRank rank, Condition condition)
static ICtr.ICtrMdd	ICtr.ICtrMdd.buildFrom(IVar[] scope, String list, String transitions)
static ICtr.ICtrMinimum	ICtr.ICtrMinimum.buildFrom(IVar[] scope, String list, Integer startIndex, Object index, Types.TypeRank rank, Condition condition)
static ICtr.ICtrNoOverlap	ICtr.ICtrNoOverlap.buildFrom(IVar[] scope, String origins, String lengths, Boolean zeroIgnored)
static ICtr.ICtrNValues	ICtr.ICtrNValues.buildFrom(IVar[] scope, String list, String except, Condition condition)
static ICtr.ICtrOrdered	ICtr.ICtrOrdered.buildFrom(IVar[] scope, String key1, Object value1, Object lengths, Types.TypeOperatorRel operator)
static ICtr.ICtrRegular	ICtr.ICtrRegular.buildFrom(IVar[] scope, String list, String transitions, String startState, String[] finalStates)
static ICtr.ICtrSlide	ICtr.ICtrSlide.buildFrom(IVar[] scope, Boolean circular, IVar[][] lists, int[] offsets, int[] collects, CtrEntities.CtrAlone[] cas)
static ICtr.ICtrSmart	ICtr.ICtrSmart.buildFrom(IVar[] scope, String list, String[] rows)
static ICtr.ICtrStretch	ICtr.ICtrStretch.buildFrom(IVar[] scope, String list, String values, String widths, String patterns)
static ICtr.ICtrSum	ICtr.ICtrSum.buildFrom(IVar[] scope, String list, Object coeffs, Condition condition)
static IObj.IObjFunctional	IObj.IObjFunctional.buildFrom(IVar[] scope, boolean minimize, XNode<IVar> tree)
static IObj.IObjSpecialized	IObj.IObjSpecialized.buildFrom(IVar[] scope, boolean minimize, Types.TypeObjective type, String list, String coeffs)

Method parameters in org.xcsp.modeler.definitions with type arguments of type IVar

Modifier and Type	Method	Description
static ICtr.ICtrIntension	ICtr.ICtrIntension.buildFrom(IVar[] scope, XNodeParent<IVar> tree)
static IObj.IObjFunctional	IObj.IObjFunctional.buildFrom(IVar[] scope, boolean minimize, XNode<IVar> tree)

Uses of IVar in org.xcsp.modeler.entities

Fields in org.xcsp.modeler.entities declared as IVar

Modifier and Type	Field	Description
IVar[]	VarEntities.VarArray.flatVars
IVar	VarEntities.VarAlone.var

Fields in org.xcsp.modeler.entities with type parameters of type IVar

Modifier and Type	Field	Description
Map<IVar,VarEntities.VarAlone>	VarEntities.varToVarAlone
Map<IVar,VarEntities.VarArray>	VarEntities.varToVarArray

Methods in org.xcsp.modeler.entities with parameters of type IVar

Modifier and Type	Method	Description
String	VarEntities.compact(IVar[] vars)
String[]	VarEntities.compact(IVar[][] vars)
protected String	VarEntities.VarArray.compactFormOf(IVar[] t)
String	VarEntities.compactMatrix(IVar[][] matrix)
String	VarEntities.compactOrdered(IVar[] vars)
String[]	VarEntities.compactOrdered(IVar[][] vars)
void	VarEntities.newVarAloneEntity(String id, IVar var, String note, Types.TypeClass... classes)
protected void	VarEntities.VarArray.updateRanges(IVar[] t)

Constructors in org.xcsp.modeler.entities with parameters of type IVar

Constructor	Description
VarAlone(String id, IVar var, String note, Types.TypeClass... classes)

Uses of IVar in org.xcsp.modeler.implementation

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

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

Fields in org.xcsp.modeler.implementation declared as IVar

Modifier and Type	Field	Description
IVar[]	ProblemIMP.Annotations.decision

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

Modifier and Type	Method	Description
<T extends IVar> T[]	ProblemIMP.clean(T[] vars)
<T extends IVar> T[]	ProblemIMP.distinct(T[] vars)
<T extends IVar> T[]	ProblemIMP.distinctSorted(T[] vars)
<T extends IVar> T[]	ProblemIMP.vars(Object... objects)	Builds and returns a 1-dimensional array of variables from the specified sequence of parameters.
<T extends IVar> T[]	ProblemIMP.vars(T[][] x)

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

Modifier and Type	Method	Description
<T extends IVar> T[]	ProblemIMP.clean(T[] vars)
<T extends IVar> T[]	ProblemIMP.distinct(T[] vars)
<T extends IVar> T[]	ProblemIMP.distinctSorted(T[] vars)
IVar[]	ProblemIMP.scope(Object... objects)
<T extends IVar> T[]	ProblemIMP.vars(Object... objects)	Builds and returns a 1-dimensional array of variables from the specified sequence of parameters.
<T extends IVar> T[]	ProblemIMP.vars(T[][] x)

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

Modifier and Type	Method	Description
<T extends IVar> T[]	ProblemIMP.clean(T[] vars)
void	ProblemIMP.decisionVariables(IVar[] list)
<T extends IVar> T[]	ProblemIMP.distinct(T[] vars)
<T extends IVar> T[]	ProblemIMP.distinctSorted(T[] vars)
abstract ObjEntities.ObjEntity	ProblemIMP.maximize(IVar x)
abstract ObjEntities.ObjEntity	ProblemIMP.maximize(Types.TypeObjective type, IVar[] list)
abstract ObjEntities.ObjEntity	ProblemIMP.maximize(Types.TypeObjective type, IVar[] list, int[] coeffs)
ObjEntities.ObjEntity	ProblemIMP3.maximize(IVar x)
ObjEntities.ObjEntity	ProblemIMP3.maximize(Types.TypeObjective type, IVar[] list)
ObjEntities.ObjEntity	ProblemIMP3.maximize(Types.TypeObjective type, IVar[] list, int[] coeffs)
abstract ObjEntities.ObjEntity	ProblemIMP.minimize(IVar x)
abstract ObjEntities.ObjEntity	ProblemIMP.minimize(Types.TypeObjective type, IVar[] list)
abstract ObjEntities.ObjEntity	ProblemIMP.minimize(Types.TypeObjective type, IVar[] list, int[] coeffs)
ObjEntities.ObjEntity	ProblemIMP3.minimize(IVar x)
ObjEntities.ObjEntity	ProblemIMP3.minimize(Types.TypeObjective type, IVar[] list)
ObjEntities.ObjEntity	ProblemIMP3.minimize(Types.TypeObjective type, IVar[] list, int[] coeffs)
abstract CtrEntities.CtrEntity	ProblemIMP.slide(IVar[] list, Range range, java.util.function.IntFunction<CtrEntities.CtrEntity> template)
CtrEntities.CtrEntity	ProblemIMP3.slide(IVar[] list, Range range, java.util.function.IntFunction<CtrEntities.CtrEntity> template)
<T extends IVar> T[]	ProblemIMP.vars(T[][] x)

Method parameters in org.xcsp.modeler.implementation with type arguments of type IVar

Modifier and Type	Method	Description
CtrEntities.CtrAlone	ProblemIMP.extension(XNodeParent<IVar> tree)
CtrEntities.CtrAlone	ProblemIMP.extensionDisjunction(List<XNodeParent<IVar>> trees)
String	ProblemIMP.Converter.handle(IVar.Var[] scp, XNodeParent<IVar> tree)
abstract CtrEntities.CtrEntity	ProblemIMP.intension(XNodeParent<IVar> tree)
CtrEntities.CtrEntity	ProblemIMP3.intension(XNodeParent<IVar> tree)
abstract ObjEntities.ObjEntity	ProblemIMP.maximize(XNode<IVar> tree)
ObjEntities.ObjEntity	ProblemIMP3.maximize(XNode<IVar> tree)
abstract ObjEntities.ObjEntity	ProblemIMP.minimize(XNode<IVar> tree)
ObjEntities.ObjEntity	ProblemIMP3.minimize(XNode<IVar> tree)

Uses of IVar in org.xcsp.parser.entries

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

Modifier and Type	Class	Description
static class	XVariables.XVar	The class used to represent variables.
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