Uses of Interface
org.xcsp.common.IVar
-
-
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<? extends IVar>
Condition. toNode(IVar x, Condition condition)
Methods in org.xcsp.common with parameters of type IVar Modifier and Type Method Description static XNodeParent<? extends 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, ornull
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, ornull
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)
Returntrue
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)
Returnstrue
if the predefined target tree matches the specified (source) tree.default boolean
MatcherInterface. matching(XNode<? extends IVar> source, XNode<IVar> target, int level)
Returnstrue
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)
Returnstrue
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 aMatcher
object with the specified target tree.Matcher(XNode<IVar> target, java.util.function.BiPredicate<XNode<? extends IVar>,Integer> p)
Builds aMatcher
object with the specified target tree.Matcher(XNode<IVar> target, java.util.function.BiPredicate<XNode<? extends IVar>,Integer> p)
Builds aMatcher
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 discardingnull
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 discardingnull
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 operatorabs
applied to the specified operand.default XNodeParent<IVar>
ProblemAPI. add(Object... operands)
Returns the root of a syntactic tree built with the operatoradd
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. and(Object... operands)
Returns the root of a syntactic tree built with the operatorand
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 operatordist
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 operatordiv
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. eq(Object... operands)
Returns the root of a syntactic tree built with the operatoreq
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 operatorge
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 operatorgt
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. iff(Object... operands)
Returns the root of a syntactic tree built with the operatoriff
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 operatorif
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 operatorimp
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. in(Object var, Object set)
Returns the root of a syntactic tree built with the operatorin
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 operatorle
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 operatorlt
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. max(Object... operands)
Returns the root of a syntactic tree built with the operatormax
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. min(Object... operands)
Returns the root of a syntactic tree built with the operatormin
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 operatormod
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. mul(Object... operands)
Returns the root of a syntactic tree built with the operatormul
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. ne(Object... operands)
Returns the root of a syntactic tree built with the operatorne
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. neg(Object operand)
Returns the root of a syntactic tree built with the unary operatorneg
applied to the specified operand.default XNodeParent<IVar>
ProblemAPI. not(Object operand)
Returns the root of a syntactic tree built with the unary operatornot
applied to the specified operand.default XNodeParent<IVar>
ProblemAPI. notin(Object var, Object set)
Returns the root of a syntactic tree built with the operatornotin
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. or(Object... operands)
Returns the root of a syntactic tree built with the operatoror
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 operatorpow
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 operatorset
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 operatorset
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. sqr(Object operand)
Returns the root of a syntactic tree built with the unary operatorsqr
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 operatorsub
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 operatorxor
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 discardingnull
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-constraintslide
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 constraintallDifferent
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 constraintextension
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 constraintintension
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 constraintsum
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 constraintsum
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 constraintsum
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 constraintsum
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 constraintsum
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 constraintsum
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 interfacestatic class
XVariables.XVarReal
static class
XVariables.XVarSet
static class
XVariables.XVarStochastic
static class
XVariables.XVarSymbolic
-