choco.cp.solver.constraints.global.geost.layers
Class GeostNumeric
java.lang.Object
choco.cp.solver.constraints.global.geost.layers.GeostNumeric
public final class GeostNumeric
- extends Object
Created by IntelliJ IDEA.
User: szampelli
Date: 14 ao�t 2009
Time: 16:27:20
To change this template use File | Settings | File Templates.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
GeostNumeric
public GeostNumeric(Setup stp_,
int maxNbrOfBoxes)
synchronize
public void synchronize()
synchronize
public void synchronize(Obj o)
synchronize
public void synchronize(IntDomainVar v)
synchronize
public void synchronize(ExternalConstraint ectr)
propagate
public Region propagate(Obj o)
prune
public void prune(Obj o,
int k,
List<InternalConstraint> ictrs)
throws ContradictionException
- Throws:
ContradictionException
Copyright © 2012. All Rights Reserved.