public interface InvariantCheckingAlgorithm extends Algorithm
Modifier and Type | Interface and Description |
---|---|
static class |
InvariantCheckingAlgorithm.Implementations
An enumeration of implementations of this algorithm.
|
Algorithm.OrderingType, Algorithm.SearchType
Modifier and Type | Method and Description |
---|---|
RuleCounterExample |
getInvariantCounterExample()
Returns the counter example, if the language of the automaton is not
an invariant for the graph transformation rule, and
null otherwise |
boolean |
isInvariant(Automaton automaton,
CospanDecomposition leftHandSide,
CospanDecomposition rightHandSide)
Returns
true if and only if the language of the automaton automaton is an
invariant according to the graph transformation rule with the left-hand side leftHandSide and the right-hand side rightHandSide . |
addComputationListener, cancelComputation, removeComputationListener
boolean isInvariant(Automaton automaton, CospanDecomposition leftHandSide, CospanDecomposition rightHandSide)
true
if and only if the language of the automaton automaton
is an
invariant according to the graph transformation rule with the left-hand side leftHandSide
and the right-hand side rightHandSide
.automaton
- the automaton representing the languageleftHandSide
- the left-hand side of the transformation rulerightHandSide
- the right-hand side of the transformation ruletrue
if the language is an invariant, false
otherwiseRuleCounterExample getInvariantCounterExample()
null
otherwisenull
otherwise