Package owl.automaton
Interface Automaton.LabelledEdgeVisitor<S>
-
- All Superinterfaces:
Automaton.Visitor<S>
- All Known Subinterfaces:
Automaton.HybridVisitor<S>
- Enclosing interface:
- Automaton<S,A extends OmegaAcceptance>
public static interface Automaton.LabelledEdgeVisitor<S> extends Automaton.Visitor<S>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
visitLabelledEdge(Edge<S> edge, ValuationSet valuationSet)
-
Methods inherited from interface owl.automaton.Automaton.Visitor
enter, exit
-
-
-
-
Method Detail
-
visitLabelledEdge
void visitLabelledEdge(Edge<S> edge, ValuationSet valuationSet)
-
-