Package owl.automaton
Interface Automaton.EdgeTreeVisitor<S>
-
- All Superinterfaces:
Automaton.Visitor<S>
- Enclosing interface:
- Automaton<S,A extends OmegaAcceptance>
- Functional Interface:
- This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
@FunctionalInterface public static interface Automaton.EdgeTreeVisitor<S> extends Automaton.Visitor<S>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
visit(S state, ValuationTree<Edge<S>> edgeTree)
The edge map associated with the state.-
Methods inherited from interface owl.automaton.Automaton.Visitor
enter, exit
-
-
-
-
Method Detail
-
visit
void visit(S state, ValuationTree<Edge<S>> edgeTree)
The edge map associated with the state. Called exactly once for each state.- Parameters:
state
- the stateedgeTree
- the edge-tree
-
-