choco.cp.common.util.preprocessor.merger
Class IntegerVariableMerger

java.lang.Object
  extended by choco.cp.common.util.preprocessor.merger.IntegerVariableMerger

public final class IntegerVariableMerger
extends Object


Field Summary
 int low
           
 Set<String> optionsSet
           
 int upp
           
 int[] values
           
 
Constructor Summary
IntegerVariableMerger()
           
IntegerVariableMerger(IntegerVariable v)
           
 
Method Summary
 void copy(IntegerVariableMerger d)
           
 IntegerVariable create()
           
 boolean intersection(IntegerVariable v)
          intersection of the current domain and v
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

low

public int low

upp

public int upp

values

public int[] values

optionsSet

public Set<String> optionsSet
Constructor Detail

IntegerVariableMerger

public IntegerVariableMerger()

IntegerVariableMerger

public IntegerVariableMerger(IntegerVariable v)
Method Detail

copy

public void copy(IntegerVariableMerger d)

create

public IntegerVariable create()

intersection

public boolean intersection(IntegerVariable v)
intersection of the current domain and v

Parameters:
v - the variable to intersect with
Returns:
true if the two domains intersect


Copyright © 2012. All Rights Reserved.