choco.kernel.solver.search.integer
Class IntVarValPair

java.lang.Object
  extended by choco.kernel.solver.search.integer.IntVarValPair

public final class IntVarValPair
extends Object

a struct-like class implementing (IntVar, int) pairs (useful for binary branchings that assign a value to a variable or remove that same value from the variable domain


Field Summary
 int val
           
 IntDomainVar var
           
 
Constructor Summary
IntVarValPair(IntDomainVar var, int val)
           
 
Method Summary
 String pretty()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

var

public final IntDomainVar var

val

public final int val
Constructor Detail

IntVarValPair

public IntVarValPair(IntDomainVar var,
                     int val)
Method Detail

pretty

public String pretty()

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.