Called whenever the set of possible is changed

Copies the values of the domain that have been removed (delta set) wrt to a previous state of the domain described by oldMin, oldMax and oldSize. @pa

Copies the values (in an arbitrary order) of the set of excluded elements into an array. @param dest an array large enough {@code dest.length >= nExc

Returns a list of all the activities contributing to this cumulative function. Transformations are applied to the activities following the internal AS

Infers the decision variables from the constraint graph of the current model. <p>A variable is considered a decision variable when it appears as an "

Insert an activity in the theta set @param activityIndex assumed to start at 0 from left to right up to size-1 @param est earliest completion time @p

Similar function to jumpTo, but enforces a jump to a child model. @param m @param enforceFixPoint

@param c != 0 @param vals different from 0 @return max(floor(c/v)) with v in vals

@param c != 0 @param vals different from 0 @return min(ceil(c/v)) with v in vals

Returns a small constraint used to mock the behavior of a real constraint. @return instantiable constraint

Returns the number of nodes in this graph. @return the number of nodes in this graph. Nodes are identified from 0 to {@link #n()}-1.

Executes the configured phase plan under a global timeout. <p> Early stop conditions: </p> <ul> <li>Feasibility mode: stops on first feasible solutio

Tells if the domain has changed since previous call to Constraint#propagate @return if the domain has changed

Decrements the value @return the new value

A variable that is a view of {@code seqVar} in reverse order @param seqVar a variable @return a variable that is a view of {@code seqVar} in reverse

Returns the sequence variable to which this variable is related to. @return the sequence variable in which this variable was created.

Returns true if every node is either a member or an excluded node. @return true if every node is either a member or an excluded node.

Returns the node related to this variable. @return node related to this

Create a constraint that enforces an interval to be present @param var1 the interval variable @return a constraint that enforces the interval to be p

Returns a Span constraint: Enforces that if the interval variable interval is present, then it begins with the earliest intervals from the array alter

Sets logging verbosity for this search.

Returns an Alternative constraint: Enforces that if the interval variable interval is present, then cardinality intervals from the array alternatives

Returns the best incumbent solution found so far, if any.

Returns a circuit constraint (using the successor model) @param x an array of variables (successor array) @return a constraint so that the path descr

Extend a matrix, adding new rows and columns corresponding to other entries already present in the matrix. This is typically done for extending a dist

Fill an array with values between 0 and nNode, except for values marked as forbidden A lot of operations fill all nodes from 0 between n except a few

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(

Calls the fixpoint if if is not disabled

@return the current model

Returns a boolean variable representing whether one variable is less or equal to the given constant. This relation is enforced by the {@link IsLessOrE

An iterator on the delta set This iterator is not computed lazily @return an iterator on the delta set

Creates a Stateful map (restorable) @return a reference to the map.

Returns a CPIntVar that is equal to the makespan (the latest end) of the intervals. @param vars the interval vars @return a CPIntVar that is equal to

Computes a variable that is the maximum of a set of variables. This relation is enforced by the {@link Maximum} constraint posted by calling this meth

It selects the first not fixed variable with the smallest domain. @param xs the variable array to fix @return a supplier that returns the first not f

Returns a concrete model with a given StateManager @param stateManager state manager used in the concrete model @return instantiated concrete model

Solves a feasibility model with default black-box settings.

Start the solving process with a given predicate called at each node to stop the search when it becomes true. The state manager saves the state before

Create a constraint that enforces the start of var1 to be at or after start @param var1 the interval variable @param start the start value @return a

Asks that the closure is called whenever the max or min setValue of the domain of this variable changes @param f the closure

Higher-order function that preserves the state prior to calling body and restores it after. @param body the first-order function to execute.

Returns the value that is just after the given value in the domain of the variable if any, if the value is greater than or equal to the maximum of the