Uses of Class
net.automatalib.automaton.procedural.StackState

Packages that use StackState

Package	Description
net.automatalib.automaton.procedural

Uses of StackState in net.automatalib.automaton.procedural

Methods in net.automatalib.automaton.procedural that return StackState

Modifier and Type	Method	Description
StackState<S,I,DFA<S,I>>	StackSBA.getInitialState()
StackState<S,I,DFA<S,I>>	StackSPA.getInitialState()
StackState<S,I,MealyMachine<S,I,T,O>>	StackSPMM.getInitialState()
StackState<S,I,MealyMachine<S,I,T,O>>	StackSPMM.getSuccessor(MealyTransition<StackState<S,I,MealyMachine<S,I,T,O>>,O> transition)
StackState<S,I,DFA<S,I>>	StackSBA.getTransition(StackState<S,I,DFA<S,I>> state, I input)
StackState<S,I,DFA<S,I>>	StackSPA.getTransition(StackState<S,I,DFA<S,I>> state, I input)

Methods in net.automatalib.automaton.procedural that return types with arguments of type StackState

Modifier and Type	Method	Description
MealyTransition<StackState<S,I,MealyMachine<S,I,T,O>>,O>	StackSPMM.getTransition(StackState<S,I,MealyMachine<S,I,T,O>> state, I input)

Methods in net.automatalib.automaton.procedural with parameters of type StackState

Modifier and Type	Method	Description
StackState<S,I,DFA<S,I>>	StackSBA.getTransition(StackState<S,I,DFA<S,I>> state, I input)
StackState<S,I,DFA<S,I>>	StackSPA.getTransition(StackState<S,I,DFA<S,I>> state, I input)
MealyTransition<StackState<S,I,MealyMachine<S,I,T,O>>,O>	StackSPMM.getTransition(StackState<S,I,MealyMachine<S,I,T,O>> state, I input)
boolean	StackSBA.isAccepting(StackState<S,I,DFA<S,I>> state)
boolean	StackSPA.isAccepting(StackState<S,I,DFA<S,I>> state)

Method parameters in net.automatalib.automaton.procedural with type arguments of type StackState

Modifier and Type	Method	Description
StackState<S,I,MealyMachine<S,I,T,O>>	StackSPMM.getSuccessor(MealyTransition<StackState<S,I,MealyMachine<S,I,T,O>>,O> transition)
O	StackSPMM.getTransitionOutput(MealyTransition<StackState<S,I,MealyMachine<S,I,T,O>>,O> transition)