choco.cp.common.util.preprocessor.merger
Class IntegerVariableMerger
java.lang.Object
choco.cp.common.util.preprocessor.merger.IntegerVariableMerger
public final class IntegerVariableMerger
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
low
public int low
upp
public int upp
values
public int[] values
optionsSet
public Set<String> optionsSet
IntegerVariableMerger
public IntegerVariableMerger()
IntegerVariableMerger
public IntegerVariableMerger(IntegerVariable v)
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.