|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectagg.parser.ExcludePair
agg.parser.LayeredExcludePair
public class LayeredExcludePair
These pairs extends the ExcludePairs
with layers.
Field Summary |
---|
Fields inherited from interface agg.parser.CriticalPair |
---|
CONFLICT, CONFLICTFREE, DEPENDENCY, EXCLUDE, TRIGGER_DEPENDENCY, TRIGGER_SWITCH_DEPENDENCY |
Constructor Summary | |
---|---|
LayeredExcludePair()
Creates a new object to compute critical pairs. |
|
LayeredExcludePair(LayerFunction layer)
Deprecated. |
Method Summary | |
---|---|
protected boolean |
checkGraphConsistency(Graph g,
int l)
|
LayerFunction |
getLayer()
Deprecated. |
java.util.Vector<Pair<Pair<OrdinaryMorphism,OrdinaryMorphism>,Pair<OrdinaryMorphism,OrdinaryMorphism>>> |
isCritical(int kind,
Rule r1,
Rule r2)
computes if there is a critical pair of a special kind. |
void |
setLayer(LayerFunction layer)
Deprecated. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public LayeredExcludePair(LayerFunction layer)
layer
- The layer function.public LayeredExcludePair()
Method Detail |
---|
public void setLayer(LayerFunction layer)
layer
- A specific layer function.public LayerFunction getLayer()
public java.util.Vector<Pair<Pair<OrdinaryMorphism,OrdinaryMorphism>,Pair<OrdinaryMorphism,OrdinaryMorphism>>> isCritical(int kind, Rule r1, Rule r2) throws InvalidAlgorithmException
Vector
of overlaping graphs. If a kind kind is requested
which cannot be computed a InvalidAlgorithmException
is
thrown.
isCritical
in interface CriticalPair
isCritical
in class ExcludePair
kind
- specifies the kind of critical pairr1
- defines the first part which can be criticalr2
- the second part which can be critical
InvalidAlgorithmException
- Thrown if a illegal algorithm is selected.protected boolean checkGraphConsistency(Graph g, int l)
checkGraphConsistency
in class ExcludePair
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |