agg.xt_basis
Class Constraint_Type

java.lang.Object
  extended by agg.util.csp.BinaryConstraint
      extended by agg.xt_basis.Constraint_Type

public class Constraint_Type
extends BinaryConstraint


Field Summary
 
Fields inherited from class agg.util.csp.BinaryConstraint
itsVar1, itsVar2, itsWeight
 
Constructor Summary
Constraint_Type(GraphObject graphobj, Variable var)
           
 
Method Summary
 void clear()
           
 boolean execute()
          Return true iff the current instance of obj is type compatible with the GraphObject that has been passed to my constructor.
 GraphObject getGraphObject()
           
 
Methods inherited from class agg.util.csp.BinaryConstraint
activate, deactivate, getCause, getVar1, getVar2, getWeight, isApplicable
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Constraint_Type

public Constraint_Type(GraphObject graphobj,
                       Variable var)
Method Detail

clear

public void clear()
Specified by:
clear in class BinaryConstraint

execute

public final boolean execute()
Return true iff the current instance of obj is type compatible with the GraphObject that has been passed to my constructor. In this case, "type" means an element of the cartesian product of Type x {Node,Arc}.

Pre: (1) obj.getInstance() instanceof GraphObject.

Specified by:
execute in class BinaryConstraint

getGraphObject

public GraphObject getGraphObject()