org.chocosolver.solver.search.strategy.assignments

Class DecisionOperator<V extends Variable>

java.lang.Object

org.chocosolver.solver.search.strategy.assignments.DecisionOperator<V>

All Implemented Interfaces:

Serializable

public abstract class DecisionOperator<V extends Variable>
extends Object
implements Serializable

Since:

03/02/11

Author:

Charles Prud'homme

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static DecisionOperator<IntVar>	int_eq
static DecisionOperator<IntVar>	int_neq
static DecisionOperator<IntVar>	int_reverse_split
static DecisionOperator<IntVar>	int_split
static DecisionOperator<SetVar>	set_force
static DecisionOperator<SetVar>	set_remove

Constructor Summary

Constructors

Constructor and Description
DecisionOperator()

Method Summary

Methods

Modifier and Type	Method and Description
abstract void	apply(V var, int value, ICause cause)
abstract boolean	isValid(V var, int value) Evaluate the possible effect of the decision and return a boolean indicating whether or not the decision can reduce the domain of var.
abstract DecisionOperator	opposite()
abstract String	toString()
abstract void	unapply(V var, int value, ICause cause)

Methods inherited from class java.lang.Object

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

Field Detail

int_eq

public static DecisionOperator<IntVar> int_eq

int_neq

public static DecisionOperator<IntVar> int_neq

int_split

public static DecisionOperator<IntVar> int_split

int_reverse_split

public static DecisionOperator<IntVar> int_reverse_split

set_force

public static DecisionOperator<SetVar> set_force

set_remove

public static DecisionOperator<SetVar> set_remove

Constructor Detail

DecisionOperator

public DecisionOperator()

Method Detail

apply

public abstract void apply(V var,
         int value,
         ICause cause)
                    throws ContradictionException

Throws:

ContradictionException

unapply

public abstract void unapply(V var,
           int value,
           ICause cause)
                      throws ContradictionException

Throws:

ContradictionException

opposite

public abstract DecisionOperator opposite()

toString

public abstract String toString()

Overrides:

toString in class Object

isValid

public abstract boolean isValid(V var,
              int value)

Evaluate the possible effect of the decision and return a boolean indicating whether or not the decision can reduce the domain of var.

Parameters:

var - a variable

value - a value

Returns:

true if this has an effect on var