Package | Description |
---|---|
net.automatalib.automata.transout.impl.compact |
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) |
Copyright © 2015. All Rights Reserved.