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

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.DistLeqIC
All Implemented Interfaces:
Serializable

public final class DistLeqIC
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
           
 IntDomainVar DVar
           
 int o1
           
 int o2
           
 int q
           
 int s1
           
 int s2
           
 Setup stp
           
 
Constructor Summary
DistLeqIC(Setup stp_, int q_, int D_, int s1_, int s2_, int o1_, int o2_)
           
DistLeqIC(Setup stp_, int q_, int D_, int s1_, int s2_, int o1_, int o2_, IntDomainVar DVar_)
           
 
Method Summary
 int EvaluateMinimumDistance(int k)
           
 IntDomainVar getDistanceVar()
           
 boolean hasDistanceVar()
           
 boolean insideForbidden_withDoubles(Point c0, Point c1)
           
 boolean insideForbidden(Point p)
           
 int maximizeSizeOfFBox(boolean min, int d, int k, Region f)
           
 boolean segInsideForbidden(Point c0, Point c1)
           
 String toString()
           
 boolean updateDistance(int k)
           
 double[] vOf(double alpha, Point c0, Point c1, double beta_j, double beta_j_plus_1)
           
 
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

DVar

public IntDomainVar DVar
Constructor Detail

DistLeqIC

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

DistLeqIC

public DistLeqIC(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_withDoubles

public boolean insideForbidden_withDoubles(Point c0,
                                           Point c1)

vOf

public double[] vOf(double alpha,
                    Point c0,
                    Point c1,
                    double beta_j,
                    double beta_j_plus_1)

segInsideForbidden

public boolean segInsideForbidden(Point c0,
                                  Point c1)

toString

public String toString()
Overrides:
toString in class Object

EvaluateMinimumDistance

public int EvaluateMinimumDistance(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.