Package | Description |
---|---|
net.automatalib.automata.transout.impl |
Modifier and Type | Method and Description |
---|---|
FastMealyState<O> |
FastMealy.addInitialState() |
FastMealyState<O> |
FastMealy.addState() |
protected FastMealyState<O> |
FastMealy.createState(Void property) |
FastMealyState<O> |
FastMealy.getSuccessor(MealyTransition<FastMealyState<O>,O> transition) |
Modifier and Type | Method and Description |
---|---|
MealyTransition<FastMealyState<O>,O> |
FastMealy.copyTransition(MealyTransition<FastMealyState<O>,O> trans,
FastMealyState<O> succ) |
MealyTransition<FastMealyState<O>,O> |
FastMealy.createTransition(FastMealyState<O> successor,
O properties) |
GraphDOTHelper<FastMealyState<O>,TransitionEdge<I,MealyTransition<FastMealyState<O>,O>>> |
FastMealy.getDOTHelper() |
GraphDOTHelper<FastMealyState<O>,TransitionEdge<I,MealyTransition<FastMealyState<O>,O>>> |
FastMealy.getDOTHelper() |
Modifier and Type | Method and Description |
---|---|
MealyTransition<FastMealyState<O>,O> |
FastMealy.copyTransition(MealyTransition<FastMealyState<O>,O> trans,
FastMealyState<O> succ) |
MealyTransition<FastMealyState<O>,O> |
FastMealy.createTransition(FastMealyState<O> successor,
O properties) |
O |
FastMealy.getOutput(FastMealyState<O> state,
I input) |
Void |
FastMealy.getStateProperty(FastMealyState<O> state) |
void |
FastMealy.setStateProperty(FastMealyState<O> state,
Void property) |
void |
FastMealy.trace(FastMealyState<O> state,
Iterable<I> input,
List<O> output) |
Modifier and Type | Method and Description |
---|---|
MealyTransition<FastMealyState<O>,O> |
FastMealy.copyTransition(MealyTransition<FastMealyState<O>,O> trans,
FastMealyState<O> succ) |
FastMealyState<O> |
FastMealy.getSuccessor(MealyTransition<FastMealyState<O>,O> transition) |
O |
FastMealy.getTransitionOutput(MealyTransition<FastMealyState<O>,O> transition) |
O |
FastMealy.getTransitionProperty(MealyTransition<FastMealyState<O>,O> transition) |
void |
FastMealy.setTransitionOutput(MealyTransition<FastMealyState<O>,O> transition,
O output) |
void |
FastMealy.setTransitionProperty(MealyTransition<FastMealyState<O>,O> transition,
O property) |
Copyright © 2015. All Rights Reserved.