agg.parser
Class ConcurrentRule

java.lang.Object
  extended by 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.


Field Summary
protected  Rule concurrentRule
           
protected  int depth
           
protected  boolean enableEqualVariableNameOfAttrMapping
           
protected  OrdinaryMorphism isoLHS1
           
protected  OrdinaryMorphism isoRHS1
           
 
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.
 
Method Summary
 void enableEqualVariableNameOfAttrMapping(boolean enable)
           
 int getDepth()
           
 Rule getRule()
          Returns constructed concurrent rule.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

isoRHS1

protected OrdinaryMorphism isoRHS1

isoLHS1

protected OrdinaryMorphism isoLHS1

concurrentRule

protected Rule concurrentRule

depth

protected int depth

enableEqualVariableNameOfAttrMapping

protected boolean enableEqualVariableNameOfAttrMapping
Constructor Detail

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)
Method Detail

getRule

public Rule getRule()
Returns constructed concurrent rule.

Returns:
concurrent rule

getDepth

public int getDepth()

enableEqualVariableNameOfAttrMapping

public void enableEqualVariableNameOfAttrMapping(boolean enable)