public class CompactMealy<I,O> extends AbstractCompactDeterministic<I,CompactMealyTransition<O>,Void,O> implements MutableMealyMachine<Integer,I,CompactMealyTransition<O>,O>, DOTPlottableAutomaton<Integer,I,CompactMealyTransition<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) |
addIntState, addState, clear, copyTransition, createDynamicNodeMapping, createState, createStaticNodeMapping, createTransition, ensureCapacity, ensureCapacity, getId, getInitialState, getInputAlphabet, getIntInitialState, getNodes, getOutgoingEdges, getState, getStateId, getStates, getSuccessor, getTarget, getTransition, getTransition, getTransition, makeId, nodeIDs, removeAllTransitions, setInitialState, setInitialState, setStateProperty, setTransition, setTransition, stateIDs
addInitialState, addInitialState, addState, addTransition, addTransition, addTransition, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition, setInitial, setInitial, setTransition, setTransition, setTransitions, setTransitions
iterator, size
getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStates, size, stateIDs
forEach, iterator, spliterator
getTransition
getSuccessor, getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
setInitialState, setTransition, setTransition
addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setStateProperty, setTransitions
getInputAlphabet
public CompactMealy(Alphabet<I> alphabet, float resizeFactor)
public CompactMealy(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
public CompactMealy(Alphabet<I> alphabet, int stateCapacity)
public CompactMealy(Alphabet<I> alphabet)
public O getTransitionOutput(CompactMealyTransition<O> transition)
getTransitionOutput
in interface TransitionOutput<CompactMealyTransition<O>,O>
public void setTransitionProperty(CompactMealyTransition<O> transition, O property)
setTransitionProperty
in interface MutableAutomaton<Integer,I,CompactMealyTransition<O>,Void,O>
public O getOutput(Integer state, I input)
TransitionOutputAutomaton
TransitionOutput.getTransitionOutput(Object)
on the transition returned by DeterministicTransitionSystem.getTransition(Object, Object)
, however
it should be noted that this function does not allow distinguishing between
a null
output and an undefined transition.getOutput
in interface TransitionOutputAutomaton<Integer,I,CompactMealyTransition<O>,O>
state
- the source stateinput
- the input symbolnull
if the transition is undefined)public void trace(Iterable<I> input, List<O> output)
trace
in interface TransitionOutputAutomaton<Integer,I,CompactMealyTransition<O>,O>
public void trace(Integer state, Iterable<I> input, List<O> output)
trace
in interface TransitionOutputAutomaton<Integer,I,CompactMealyTransition<O>,O>
public Word<O> computeSuffixOutput(Iterable<I> prefix, Iterable<I> suffix)
computeSuffixOutput
in interface SuffixOutput<I,Word<O>>
public Word<O> computeOutput(Iterable<I> input)
computeOutput
in interface Output<I,Word<O>>
public O getTransitionProperty(CompactMealyTransition<O> transition)
UniversalTransitionSystem
getTransitionProperty
in interface UniversalTransitionSystem<Integer,I,CompactMealyTransition<O>,Void,O>
transition
- the transition.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 Void getStateProperty(Integer state)
UniversalTransitionSystem
getStateProperty
in interface UniversalTransitionSystem<Integer,I,CompactMealyTransition<O>,Void,O>
getStateProperty
in class AbstractCompactDeterministic<I,CompactMealyTransition<O>,Void,O>
state
- the state.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>
public GraphDOTHelper<Integer,TransitionEdge<I,CompactMealyTransition<O>>> getDOTHelper()
getDOTHelper
in interface DOTPlottableAutomaton<Integer,I,CompactMealyTransition<O>>
Copyright © 2015. All Rights Reserved.