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) |
Modifier and Type | Method and Description |
---|---|
Word<O> |
computeOutput(Iterable<? extends I> input) |
Word<O> |
computeSuffixOutput(Iterable<? extends I> prefix,
Iterable<? extends I> suffix) |
CompactMealyTransition<O> |
copyTransition(CompactMealyTransition<O> trans,
int succId) |
CompactMealyTransition<O> |
createTransition(int succId,
O property) |
GraphDOTHelper<Integer,TransitionEdge<I,CompactMealyTransition<O>>> |
getDOTHelper() |
int |
getIntSuccessor(CompactMealyTransition<O> transition) |
O |
getOutput(Integer state,
I input)
Retrieves the output for the given input symbol in the given state.
|
Void |
getStateProperty(int stateId) |
Void |
getStateProperty(Integer state)
Retrieves the state property for the given state.
|
O |
getTransitionOutput(CompactMealyTransition<O> transition) |
O |
getTransitionProperty(CompactMealyTransition<O> transition)
Retrieves the transition property for the given state.
|
void |
setStateProperty(int state,
Void property) |
void |
setTransitionOutput(CompactMealyTransition<O> transition,
O output) |
void |
setTransitionProperty(CompactMealyTransition<O> transition,
O property) |
boolean |
trace(Integer state,
Iterable<? extends I> input,
List<? super O> output) |
boolean |
trace(Iterable<? extends I> input,
List<? super O> output) |
addIntInitialState, addIntInitialState, addIntState, 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, setTransition, setTransition, stateIDs
addInitialState, addInitialState, addState, addTransition, addTransition, addTransition, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition, setInitial, setInitial, setTransition, setTransition, setTransitions, setTransitions
createStaticStateMapping, iterator, size
getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions
createDynamicStateMapping, createDynamicStateMapping, 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 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)
DeterministicTransitionOutputTS
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 DeterministicTransitionOutputTS<Integer,I,CompactMealyTransition<O>,O>
state
- the source stateinput
- the input symbolnull
if the transition is undefined)public boolean trace(Iterable<? extends I> input, List<? super O> output)
trace
in interface DeterministicTransitionOutputTS<Integer,I,CompactMealyTransition<O>,O>
public boolean trace(Integer state, Iterable<? extends I> input, List<? super O> output)
trace
in interface DeterministicTransitionOutputTS<Integer,I,CompactMealyTransition<O>,O>
public Word<O> computeSuffixOutput(Iterable<? extends I> prefix, Iterable<? extends I> suffix)
computeSuffixOutput
in interface SuffixOutput<I,Word<O>>
public Word<O> computeOutput(Iterable<? extends 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.