public abstract class AbstractMutableDFA<S,I> extends AbstractMutableDeterministic<S,I,S,Boolean,Void> implements MutableDFA<S,I>, DOTPlottableAutomaton<S,I,S>
STATE_PROPERTIES, TRANSITION_PROPERTIES
Constructor and Description |
---|
AbstractMutableDFA() |
Modifier and Type | Method and Description |
---|---|
boolean |
accepts(Iterable<I> input)
Determines whether the given input word is accepted by this acceptor.
|
S |
addInitialState(boolean accepting) |
S |
addState(Boolean property)
Adds a state to the automaton.
|
Boolean |
computeOutput(Iterable<I> input) |
Boolean |
computeSuffixOutput(Iterable<I> prefix,
Iterable<I> suffix) |
S |
copyTransition(S trans,
S succ) |
S |
createTransition(S successor,
Void properties) |
void |
flipAcceptance() |
Boolean |
getStateProperty(S state)
Retrieves the state property for the given state.
|
S |
getSuccessor(S transition)
Retrieves the successor state of a given transition.
|
Void |
getTransitionProperty(S transition)
Retrieves the transition property for the given state.
|
void |
setStateProperty(S state,
Boolean property) |
void |
setTransitionProperty(S transition,
Void property) |
addInitialState, addInitialState, addState, addTransition, addTransition, addTransition, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition, setInitial, setInitial, setTransition, setTransition, setTransitions, setTransitions
iterator, size, stateIDs
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
getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
setInitialState, setTransition, setTransition
addState, setAccepting
isAccepting
addInitialState, addInitialState, addState, addTransition, addTransition, addTransitions, clear, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitions
getDOTHelper
getInputAlphabet
public AbstractMutableDFA()
public boolean accepts(Iterable<I> input)
AcceptorTS
accepts
in interface AcceptorTS<S,I>
input
- the input word.true
if the input word is accepted,
false
otherwise.public S addState(Boolean property)
MutableAutomaton
public Boolean computeSuffixOutput(Iterable<I> prefix, Iterable<I> suffix)
computeSuffixOutput
in interface SuffixOutput<I,Boolean>
public Boolean computeOutput(Iterable<I> input)
computeOutput
in interface Output<I,Boolean>
public void setStateProperty(S state, Boolean property)
setStateProperty
in interface MutableAutomaton<S,I,S,Boolean,Void>
public void setTransitionProperty(S transition, Void property)
setTransitionProperty
in interface MutableAutomaton<S,I,S,Boolean,Void>
public S createTransition(S successor, Void properties)
createTransition
in interface MutableAutomaton<S,I,S,Boolean,Void>
public S copyTransition(S trans, S succ)
copyTransition
in interface MutableAutomaton<S,I,S,Boolean,Void>
public Boolean getStateProperty(S state)
UniversalTransitionSystem
getStateProperty
in interface UniversalTransitionSystem<S,I,S,Boolean,Void>
state
- the state.public Void getTransitionProperty(S transition)
UniversalTransitionSystem
getTransitionProperty
in interface UniversalTransitionSystem<S,I,S,Boolean,Void>
transition
- the transition.public S getSuccessor(S transition)
TransitionSystem
getSuccessor
in interface TransitionSystem<S,I,S>
transition
- the transition.public S addInitialState(boolean accepting)
addInitialState
in interface MutableFSA<S,I>
public void flipAcceptance()
flipAcceptance
in interface MutableFSA<S,I>
Copyright © 2015. All Rights Reserved.