Interface ZielonkaTreeTransformations.AutomatonWithZielonkaTreeLookup<S,A extends EmersonLeiAcceptance>
-
- All Superinterfaces:
Automaton<S,A>,ZielonkaTreeTransformations.ZielonkaTreeLookup<S>
- Enclosing class:
- ZielonkaTreeTransformations
public static interface ZielonkaTreeTransformations.AutomatonWithZielonkaTreeLookup<S,A extends EmersonLeiAcceptance> extends Automaton<S,A>, ZielonkaTreeTransformations.ZielonkaTreeLookup<S>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface owl.automaton.Automaton
Automaton.Property
-
-
Method Summary
-
Methods inherited from interface owl.automaton.Automaton
acceptance, atomicPropositions, edge, edgeMap, edges, edges, edgeTree, factory, initialState, initialStates, is, predecessors, states, successor, successors, successors
-
Methods inherited from interface owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ZielonkaTreeLookup
lookup
-
-