choco.cp.solver.constraints.global.geost.internalConstraints
Class DistGeqIC

java.lang.Object
  extended by choco.cp.solver.constraints.global.geost.internalConstraints.InternalConstraint
      extended by choco.cp.solver.constraints.global.geost.internalConstraints.ForbiddenRegion
          extended by choco.cp.solver.constraints.global.geost.internalConstraints.DistGeqIC
All Implemented Interfaces:
Serializable

public final class DistGeqIC
extends ForbiddenRegion

Created by IntelliJ IDEA. User: szampelli Date: 4 f?vr. 2009 Time: 10:11:25 To change this template use File | Settings | File Templates.

See Also:
Serialized Form

Field Summary
 int D
           
 int o1
           
 int o2
           
 int q
           
 int s1
           
 int s2
           
 Setup stp
           
 
Constructor Summary
DistGeqIC(Setup stp_, int q_, int D_, int s1_, int s2_, int o1_, int o2_)
           
DistGeqIC(Setup stp_, int q_, int D_, int s1_, int s2_, int o1_, int o2_, IntDomainVar DVar_)
           
 
Method Summary
 int EvaluateMaximumDistance(int k)
           
 IntDomainVar getDistanceVar()
           
 boolean hasDistanceVar()
           
 boolean insideForbidden(Point p)
           
 boolean insideForbidden(Point c0, Point c1)
           
 int maximizeSizeOfFBox(boolean min, int d, int k, Region f)
           
 String toString()
           
 boolean updateDistance(int k)
           
 
Methods inherited from class choco.cp.solver.constraints.global.geost.internalConstraints.ForbiddenRegion
isFeasible
 
Methods inherited from class choco.cp.solver.constraints.global.geost.internalConstraints.InternalConstraint
getIctrID, setIctrID
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

q

public int q

D

public int D

s1

public int s1

s2

public int s2

o1

public int o1

o2

public int o2

stp

public Setup stp
Constructor Detail

DistGeqIC

public DistGeqIC(Setup stp_,
                 int q_,
                 int D_,
                 int s1_,
                 int s2_,
                 int o1_,
                 int o2_)

DistGeqIC

public DistGeqIC(Setup stp_,
                 int q_,
                 int D_,
                 int s1_,
                 int s2_,
                 int o1_,
                 int o2_,
                 IntDomainVar DVar_)
Method Detail

insideForbidden

public boolean insideForbidden(Point p)
Specified by:
insideForbidden in class ForbiddenRegion

maximizeSizeOfFBox

public int maximizeSizeOfFBox(boolean min,
                              int d,
                              int k,
                              Region f)
Specified by:
maximizeSizeOfFBox in class ForbiddenRegion

insideForbidden

public boolean insideForbidden(Point c0,
                               Point c1)

toString

public String toString()
Overrides:
toString in class Object

EvaluateMaximumDistance

public int EvaluateMaximumDistance(int k)

updateDistance

public boolean updateDistance(int k)
                       throws ContradictionException
Throws:
ContradictionException

hasDistanceVar

public boolean hasDistanceVar()

getDistanceVar

public IntDomainVar getDistanceVar()


Copyright © 2012. All Rights Reserved.