Package | Description |
---|---|
net.automatalib.automata.transout.impl.compact | |
net.automatalib.util.automata.builders |
Modifier and Type | Method and Description |
---|---|
CompactMealyTransition<O> |
CompactMealy.copyTransition(CompactMealyTransition<O> trans,
int succId) |
CompactMealyTransition<O> |
CompactMealy.createTransition(int succId,
O property) |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<Integer,TransitionEdge<I,CompactMealyTransition<O>>> |
CompactMealy.getDOTHelper() |
Modifier and Type | Method and Description |
---|---|
CompactMealyTransition<O> |
CompactMealy.copyTransition(CompactMealyTransition<O> trans,
int succId) |
int |
CompactMealy.getIntSuccessor(CompactMealyTransition<O> transition) |
O |
CompactMealy.getTransitionOutput(CompactMealyTransition<O> transition) |
O |
CompactMealy.getTransitionProperty(CompactMealyTransition<O> transition) |
void |
CompactMealy.setTransitionOutput(CompactMealyTransition<O> transition,
O output) |
void |
CompactMealy.setTransitionProperty(CompactMealyTransition<O> transition,
O property) |
Modifier and Type | Method and Description |
---|---|
static <I,O> net.automatalib.util.automata.builders.MealyBuilder<Integer,I,CompactMealyTransition<O>,O,CompactMealy<I,O>> |
AutomatonBuilders.newMealy(Alphabet<I> alphabet) |
Copyright © 2015. All rights reserved.