public class CompactMealy<I,O> extends AbstractCompactDeterministic<I,CompactMealyTransition<O>,Void,O> implements MutableMealyMachine<Integer,I,CompactMealyTransition<O>,O>
MealyMachine.MealyGraphView<S,I,T,O,A extends MealyMachine<S,I,T,O>>
alphabet, alphabetSize, DEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR, initial, numStates, resizeFactor, stateCapacity, transitions
Constructor and Description |
---|
CompactMealy(Alphabet<I> alphabet) |
CompactMealy(Alphabet<I> alphabet,
float resizeFactor) |
CompactMealy(Alphabet<I> alphabet,
int stateCapacity) |
CompactMealy(Alphabet<I> alphabet,
int stateCapacity,
float resizeFactor) |
Modifier and Type | Method and Description |
---|---|
CompactMealyTransition<O> |
copyTransition(CompactMealyTransition<O> trans,
int succId) |
CompactMealyTransition<O> |
createTransition(int succId,
O property) |
int |
getIntSuccessor(CompactMealyTransition<O> transition) |
Void |
getStateProperty(int stateId) |
O |
getTransitionOutput(CompactMealyTransition<O> transition) |
void |
setStateProperty(int state,
Void property) |
void |
setTransitionOutput(CompactMealyTransition<O> transition,
O output) |
addIntInitialState, addIntInitialState, addIntState, addIntState, addState, clear, copyTransition, createState, createTransition, ensureCapacity, ensureCapacity, getId, getInitialState, getInputAlphabet, getIntInitialState, getState, getStateId, getStateProperty, getStates, getSuccessor, getTransition, getTransition, getTransition, makeId, removeAllTransitions, setInitialState, setInitialState, setStateProperty, setTransition, setTransition, setTransition, setTransition, size, stateIDs
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
setStateProperty, setTransitionProperty
transitionGraphView
computeOutput, computeSuffixOutput
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, getSuccessors
getStateProperty, getTransitionProperty
getOutput, trace, trace
addTransition, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions
addInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions
transitionGraphView
graphView
public O getTransitionOutput(CompactMealyTransition<O> transition)
getTransitionOutput
in interface TransitionOutput<CompactMealyTransition<O>,O>
public void setTransitionOutput(CompactMealyTransition<O> transition, O output)
setTransitionOutput
in interface MutableTransitionOutput<CompactMealyTransition<O>,O>
public int getIntSuccessor(CompactMealyTransition<O> transition)
getIntSuccessor
in class AbstractCompactDeterministic<I,CompactMealyTransition<O>,Void,O>
public Void getStateProperty(int stateId)
getStateProperty
in class AbstractCompactDeterministic<I,CompactMealyTransition<O>,Void,O>
public CompactMealyTransition<O> createTransition(int succId, O property)
createTransition
in class AbstractCompactDeterministic<I,CompactMealyTransition<O>,Void,O>
public CompactMealyTransition<O> copyTransition(CompactMealyTransition<O> trans, int succId)
copyTransition
in class AbstractCompactDeterministic<I,CompactMealyTransition<O>,Void,O>
public void setStateProperty(int state, Void property)
setStateProperty
in class AbstractCompactDeterministic<I,CompactMealyTransition<O>,Void,O>
Copyright © 2015. All rights reserved.