agg.parser
Class ConcurrentRule
java.lang.Object
agg.parser.ConcurrentRule
public class ConcurrentRule
- extends java.lang.Object
Construct a concurrent rule based on two source rules
and already computed dependency critical pair of these rules.
Additionally used, the inverse rule of rule1
and two help isomorphisms:
isoLeft1: LHS of rule1 --> LHScopy of rule1 which can be done by rule1.getLeft().isomorphicCopy(),
isoLeft1: RHS of rule1 --> RHScopy of rule1 which can be done by rule1.getRight().isomorphicCopy().
Currently this class is used inside of the class DependencyPair, only.
Implementation of a stand-alone usage of this class is in working.
Constructor Summary |
ConcurrentRule(ConcurrentRule concurrentRule1,
Rule rule2)
|
ConcurrentRule(ConcurrentRule concurrentRule1,
Rule inverseRule1,
Rule rule2,
OrdinaryMorphism isoLeft1,
OrdinaryMorphism isoRight1,
Pair<OrdinaryMorphism,OrdinaryMorphism> dependencyPair)
|
ConcurrentRule(Rule rule1,
Rule rule2)
|
ConcurrentRule(Rule rule1,
Rule inverseRule1,
Rule rule2,
OrdinaryMorphism isoLeft1,
OrdinaryMorphism isoRight1,
Pair<OrdinaryMorphism,OrdinaryMorphism> dependencyPair)
Construct a concurrent rule based on two source rules
and already computed dependency critical pair of these rules. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
isoRHS1
protected OrdinaryMorphism isoRHS1
isoLHS1
protected OrdinaryMorphism isoLHS1
concurrentRule
protected Rule concurrentRule
depth
protected int depth
enableEqualVariableNameOfAttrMapping
protected boolean enableEqualVariableNameOfAttrMapping
ConcurrentRule
public ConcurrentRule(Rule rule1,
Rule inverseRule1,
Rule rule2,
OrdinaryMorphism isoLeft1,
OrdinaryMorphism isoRight1,
Pair<OrdinaryMorphism,OrdinaryMorphism> dependencyPair)
- Construct a concurrent rule based on two source rules
and already computed dependency critical pair of these rules.
Additionally used, the inverse rule of rule1
and two help isomorphisms:
isoLeft1: LHS of rule1 --> LHScopy of rule1 which can be done by rule1.getLeft().isomorphicCopy(),
isoLeft1: RHS of rule1 --> RHScopy of rule1 which can be done by rule1.getRight().isomorphicCopy().
The target graph of the morphism isoLeft1 is the left graph of the inverse rule,
The target graph of the morphism isoRight1 is the right graph of the inverse rule,
ConcurrentRule
public ConcurrentRule(Rule rule1,
Rule rule2)
ConcurrentRule
public ConcurrentRule(ConcurrentRule concurrentRule1,
Rule inverseRule1,
Rule rule2,
OrdinaryMorphism isoLeft1,
OrdinaryMorphism isoRight1,
Pair<OrdinaryMorphism,OrdinaryMorphism> dependencyPair)
ConcurrentRule
public ConcurrentRule(ConcurrentRule concurrentRule1,
Rule rule2)
getRule
public Rule getRule()
- Returns constructed concurrent rule.
- Returns:
- concurrent rule
getDepth
public int getDepth()
enableEqualVariableNameOfAttrMapping
public void enableEqualVariableNameOfAttrMapping(boolean enable)