public class PostconditionConstructionAlgorithm
extends java.lang.Object
Constructor and Description |
---|
PostconditionConstructionAlgorithm(de.uni_due.inf.ti.graph.Rule rule,
de.uni_due.inf.ti.graph.Morphism match)
Constructor for the Postcondition algorithm
|
Modifier and Type | Method and Description |
---|---|
Postcondition |
computePostcondition()
Postcondition algorithm main function
|
public PostconditionConstructionAlgorithm(de.uni_due.inf.ti.graph.Rule rule, de.uni_due.inf.ti.graph.Morphism match)
rule
- The rule to be appliedmatch
- The match from the left-hand side into the rewritable materializationpublic Postcondition computePostcondition()