public interface EdgeEvaluator
Modifier and Type | Method and Description |
---|---|
double |
evaluate(int outputState,
IntersectionAutomaton auto)
This method is called each time the intersection algorithm
discovers a new state to put on the agenda.
|
default void |
ruleAdded(Rule rule)
This method is called each time a rule is added to the output
automaton.
|
default void ruleAdded(Rule rule)
rule
- double evaluate(int outputState, IntersectionAutomaton auto)
IntersectionAutomaton.getLeftState(int)
and IntersectionAutomaton.getRightState(int)
with the
"auto" argument to obtain p and q.outputState
- auto
- Copyright © 2017. All rights reserved.