choco.cp.solver.constraints.global.geost.layers
Class GeostNumeric

java.lang.Object
  extended by 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.


Constructor Summary
GeostNumeric(Setup stp_, int maxNbrOfBoxes)
           
 
Method Summary
 Region propagate(Obj o)
           
 void prune(Obj o, int k, List<InternalConstraint> ictrs)
           
 void synchronize()
           
 void synchronize(ExternalConstraint ectr)
           
 void synchronize(IntDomainVar v)
           
 void synchronize(Obj o)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GeostNumeric

public GeostNumeric(Setup stp_,
                    int maxNbrOfBoxes)
Method Detail

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.