choco.kernel.solver.branch
Class Extension

java.lang.Object
  extended by 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
           
 
Constructor Summary
Extension()
           
 
Method Summary
 void add(int val)
           
 int get()
           
 void set(int val)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

nb

protected int nb
Constructor Detail

Extension

public Extension()
Method Detail

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.