Tests if the variable is fixed to false @return true if the variable is fixed to false (value 0)

Returns the member following another member in the sequence. @param node member within the sequence. @return member following the given node in the s

Gives the number of nodes matching a status. @param status status that must be matched by the nodes. @return the number of nodes matching the status.

Returns an allDifferent constraint using forward checking algo @param x an array of variables @return a constraint so that {@code x[i] != x[j] for al

Evaluate this expression. All variables referenced have to be fixed. @throws VariableNotFixedException when a variable is not fixed @return the value

Returns a constraint imposing that the variable is different from some given value. @param x the variable that is constrained bo be different from v

Includes a value in the set variable. throws an InconsistencyException if the value is already excluded from the set. calls the propagate method of th

Upper bound on the size of the domain of this expression.

Gives the current domain of the expression as a human-readable String. If the expression is fixed, a single number is returned. Otherwise, if the doma

Last member of the sequence @return last member of the sequence

Returns the size of the set of included elements @return the size of the set of included elements

A variable that is a view of {@code x+v}. @param x a variable @param v a value @return a variable that is a view of {@code x+v}

Stores the current state such that it can be recovered using restoreState() Increase the level by 1

Tells if a directed edge exists between two nodes. @param from origin of the edge. @param to destination of the edge. @return true if the directed

Asks that {@link CPConstraint#propagate()} is called whenever the domain is fixed {@link CPSeqVar#isFixed()} In such a state the variable is fixed and

Restores state as it was at getLevel()-1 Decrease the level by 1

Returns the current ConcreteModel. isConcrete() needs to be true, otherwise it raises NotConcreteException.

Returns the ModelDispatcher linked to this Expression

Returns the size of the set of possible elements @return the size of the set of possible elements

Copies the nodes matching a status into an array. @param dest an array large enough {@code dest.length >= nNode(status)}. @param status status that

Fixes the variable @param b the value to assign to this boolean variable @exception InconsistencyException is thrown if the value is not in

Copies the predecessors of a node matching a status into an array. @param node node. @param dest an array large enough @param status status that

Copies the successors of a node matching a status into an array. @param node node. @param dest an array large enough {@code dest.length >= nSucc(

@param a @return the sum of the values in a

A variable that is a view of {@code -x}. @param x a variable @return a variable that is a view of {@code -x}

Gives the ModelProxy associated with this CPSolver, if any

Called whenever the domain becomes empty.

Includes a value in the set. @param v the value to include, it must be a possible value from the universe otherwise an exception is thrown.

A variable that is a view of {@code x a}. @param x a variable @param a a constant to multiply x with @return a variable that is a view of {@code x a}

Creates an elementary Cumulative Function that is a pulse of height h that happen when the Interval variable var is present. @param var an interval v

Minimum selector. <p>Example of usage. <pre> {@code IntVar xs = selectMin(x,xi -> xi.size() > 1,xi -> xi.size()); } </pre> @param x the array on wh

Increments the value @return the new value

Binary Branching with static variable ordering and natural value ordering. @param xs the variable array to fix @return a binary static branching stra

Checks if a value is in the set. @param val the value to check @return true if val is in the set

Last member of the sequence @return last member of the sequence

Fills an array with the insertions for a node. Equivalent to {@code fillPred(node, dest, MEMBER)}. @param node node. @param dest an array large enoug

Moves a value from the possible partition P to the included partition I. @param val the value to mark as included @return true if the value has been

Gives a boolean variable telling if the node is required @return boolean variable telling if the node is required

assert the state of a StateSequenceSet train1 the methods {@link StateTriPartition#nPossible()}, {@link StateTriPartition#nIncluded()}, {@link StateTr

Creates a constraint that enforces that the end of var1 is lower or equal to the start of var2 @param var1 an interval variable @param var2 an interv

Moves a value from the set of possible values P to the set of excluded values E. @param val the value to move to the excluded set E @return true if t

Tells if a directed edge exists between two nodes. @param from origin of the edge. @param to destination of the edge. @return true if the directed

Jump to a specific constraint node. The new list should have a node in common with current model, and this common node must be either the node at whi

Returns the size of the set of excluded elements @return the size of the set of excluded elements

Creates a constraint that enforces that there is no overlap between the intervals in vars. @param vars one or more interval variables @return a noOve

Asks that the closure is called whenever the domain change of this variable changes @param f the closure

Asks that the closure is called whenever the domain is fixed {@link CPSeqVar#isFixed()}. @param f the closure.

Core helper: creates the three variables with the given domains, posts DivVar, enumerates all solutions, and asserts that the enumerated set equals th

@param a @param b @return a b (rounded to Integer.MAX_VALUE /Integer.MIN_VALUE in case of overflow)

Returns a CPIntVar that is equal to the start of interval if it is present, or equal to val if interval is absent @param interval the interval variab

Return a variable linked to the status of the interval, that is present (true) or absent (false) @return whether the interval is present (true) or abs

Makes the union with another bit-set but only on non zero-words of the outer sparse-bit-set. @param other the other bit-set to make the union with

Registers one executable phase in the black-box plan. @param name descriptive phase name used in logs and diagnostics @param search

Returns whether this expression can contain v.