|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectagg.util.csp.BinaryConstraint
agg.xt_basis.Constraint_InheritType
public class Constraint_InheritType
Please note: This class is only for internal use of the critical pair analysis for grammars with node type inheritance. Do not use it for any kind of implementations.
Field Summary |
---|
Fields inherited from class agg.util.csp.BinaryConstraint |
---|
itsVar1, itsVar2, itsWeight |
Constructor Summary | |
---|---|
Constraint_InheritType(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 |
---|
public Constraint_InheritType(GraphObject graphobj, Variable var)
Method Detail |
---|
public void clear()
clear
in class BinaryConstraint
public final boolean execute()
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.
execute
in class BinaryConstraint
public GraphObject getGraphObject()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |