Make abstract inverse rule : R -> L
That means:
- copy RHS to LHS of the result rule,
- copy LHS to RHS of the result rule,
- convert rule morphism,
- replace attr. expression of RHS by variable,
- attr. conditions will be ignored,
- NACs will be ignored.
The current (this) morphism takes two morphisms, such that: this.source ==
theFirst.target, this.target == theSecond.target as input and this
morphism will be completed so that: theFirst o this = theSecond .
The current (this) morphism takes three morphisms, such that: this.source ==
theFirst.target, theSecond.source == theFirst.source, theThird.source ==
theSecond.target, this.target == theThird.target as input and this
morphism will be completed so that the diagram comutes: theFirst o this ==
theSecond o theThird .
makeFullDiagram: fuer DISAGG
Der vorliegende Homomorphismus (this) nimmt zwei weitere (theFirst,
theSecond) als Input und wird selbst so vervollstaendigt, dass theFirst o this = theSecond
makeFullDiagram: fuer DISAGG
Der vorliegende Homomorphismus (this) nimmt drei weitere (theFirst,
theSecond, theThird) als Input und wird selbst so vervollstaendigt, dass
Diagramm kommutiert.
makeWeakDiagram: fuer DISAGG
Der vorliegende Homomorphismus (this) nimmt zwei weitere (theFirst,
theSecond) als Input und wird selbst so vervollstaendigt, dass theFirst o this <= theSecond
makeWeakDiagram: fuer DISAGG
Der vorliegende Homomorphismus (this) nimmt drei weitere (theFirst,
theSecond, theThird) als Input und wird selbst so vervollstaendigt, dass
Diagramm schwach kommutiert.