choco.kernel.solver.branch
Class Extension
java.lang.Object
choco.kernel.solver.branch.Extension
public final class Extension
- extends Object
User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 16 fevr. 2010
Since : Choco 2.1.1
Extension for Constraint and Variable.
Usefull for dynamic branching like DomOverWDegBranching
Field Summary |
protected int |
nb
|
nb
protected int nb
Extension
public Extension()
set
public final void set(int val)
get
public final int get()
add
public final void add(int val)
toString
public String toString()
- Overrides:
toString
in class Object
Copyright © 2012. All Rights Reserved.