org.chocosolver.solver.search.strategy.decision.fast

Class FastDecisionSet

java.lang.Object

org.chocosolver.solver.search.strategy.decision.Decision<SetVar>

org.chocosolver.solver.search.strategy.decision.fast.FastDecisionSet

All Implemented Interfaces:

Serializable, Comparable<Decision<SetVar>>, ICause, Identity

public class FastDecisionSet
extends Decision<SetVar>

Since:

Jan. 2013

Author:

Jean-Guillaume Fages

See Also:

Serialized Form

Field Summary

Fields inherited from class org.chocosolver.solver.search.strategy.decision.Decision

_ID, branch, once, previous, var

Constructor Summary

Constructors

Constructor and Description
FastDecisionSet(PoolManager<FastDecisionSet> poolManager)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply() Apply the current decision
void	free() Free the decision, ie, it can be reused
DecisionOperator<SetVar>	getDecisionOperator()
Integer	getDecisionValue() Return the value object involves in the decision
void	reverse() Reverse the decision operator
void	set(SetVar v, int value, DecisionOperator<SetVar> operator)
String	toString()
boolean	why(RuleStore ruleStore, IntVar var, IEventType evt, int value) Add new rules to the rule store

Methods inherited from class org.chocosolver.solver.search.strategy.decision.Decision

buildNext, compareTo, duplicate, getDecisionVariable, getId, getPrevious, getWorldIndex, hasNext, once, rewind, set, setPrevious, setWorldIndex, triesLeft

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

FastDecisionSet

public FastDecisionSet(PoolManager<FastDecisionSet> poolManager)

Method Detail

getDecisionValue

public Integer getDecisionValue()

Description copied from class: Decision

Return the value object involves in the decision

Specified by:

getDecisionValue in class Decision<SetVar>

Returns:

a value object

getDecisionOperator

public DecisionOperator<SetVar> getDecisionOperator()

Specified by:

getDecisionOperator in class Decision<SetVar>

apply

public void apply()
           throws ContradictionException

Description copied from class: Decision

Apply the current decision

Specified by:

apply in class Decision<SetVar>

Throws:

ContradictionException

set

public void set(SetVar v,
       int value,
       DecisionOperator<SetVar> operator)

reverse

public void reverse()

Description copied from class: Decision

Reverse the decision operator

Overrides:

reverse in class Decision<SetVar>

free

public void free()

Description copied from class: Decision

Free the decision, ie, it can be reused

Specified by:

free in class Decision<SetVar>

toString

public String toString()

Overrides:

toString in class Object

why

public boolean why(RuleStore ruleStore,
          IntVar var,
          IEventType evt,
          int value)

Description copied from interface: ICause

Add new rules to the rule store

Parameters:

ruleStore - the rule store

var - the modified variable

evt - the undergoing event

value - the value (for REMOVE only)

Returns:

true if at least one rule has been added to the rule store