Package | Description |
---|---|
net.automatalib.automata.transout.impl |
Modifier and Type | Class and Description |
---|---|
class |
ProbMealyTransition<S,O> |
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) |
Modifier and Type | Method and Description |
---|---|
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) |
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.