net.automatalib.automata.fsa.abstractimpl

Class AbstractMutableNFA<S,I>

java.lang.Object

net.automatalib.ts.abstractimpl.AbstractTS<S,I,T>

net.automatalib.automata.abstractimpl.AbstractAutomaton<S,I,T>

net.automatalib.automata.abstractimpl.AbstractMutableAutomaton<S,I,S,Boolean,Void>

net.automatalib.automata.fsa.abstractimpl.AbstractMutableNFA<S,I>

All Implemented Interfaces:

Iterable<S>, Automaton<S,I,S>, InputAlphabetHolder<I>, Output<I,Boolean>, SuffixOutput<I,Boolean>, DOTPlottableAutomaton<S,I,S>, FiniteStateAcceptor<S,I>, MutableFSA<S,I>, MutableNFA<S,I>, NFA<S,I>, MutableAutomaton<S,I,S,Boolean,Void>, SimpleAutomaton<S,I>, UniversalAutomaton<S,I,S,Boolean,Void>, AcceptorTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,S>, UniversalTransitionSystem<S,I,S,Boolean,Void>

public abstract class AbstractMutableNFA<S,I>
extends AbstractMutableAutomaton<S,I,S,Boolean,Void>
implements MutableNFA<S,I>, DOTPlottableAutomaton<S,I,S>

Field Summary

Fields inherited from interface net.automatalib.automata.fsa.FiniteStateAcceptor

STATE_PROPERTIES, TRANSITION_PROPERTIES

Constructor Summary

Constructors

Constructor and Description
AbstractMutableNFA()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	accepts(Iterable<I> input)
S	copyTransition(S trans, S succ)
S	createTransition(S successor, Void properties)
void	flipAcceptance()
S	getSuccessor(S transition)
boolean	isAccepting(Collection<? extends S> states)
void	setStateProperty(S state, Boolean property)
void	setTransitionProperty(S transition, Void property)

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

addInitialState, addInitialState, addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransition, addTransition, addTransitions, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractAutomaton

iterator, iterator, size, size, stateIDs, stateIDs

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractTS

createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.automata.fsa.MutableFSA

addInitialState, addState, setAccepting

Methods inherited from interface net.automatalib.ts.acceptors.AcceptorTS

isAccepting

Methods inherited from interface net.automatalib.automata.concepts.SuffixOutput

computeSuffixOutput

Methods inherited from interface net.automatalib.automata.concepts.Output

computeOutput

Methods inherited from interface net.automatalib.automata.MutableAutomaton

addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitions

Methods inherited from interface net.automatalib.automata.simple.SimpleAutomaton

getStates, size, stateIDs

Methods inherited from interface java.lang.Iterable

iterator

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.ts.TransitionSystem

getTransitions, powersetView

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.automata.dot.DOTPlottableAutomaton

getDOTHelper

Methods inherited from interface net.automatalib.automata.concepts.InputAlphabetHolder

getInputAlphabet

Constructor Detail

AbstractMutableNFA

public AbstractMutableNFA()

Method Detail

isAccepting

public boolean isAccepting(Collection<? extends S> states)

Specified by:

isAccepting in interface NFA<S,I>

getSuccessor

public S getSuccessor(S transition)

Specified by:

getSuccessor in interface TransitionSystem<S,I,S>

accepts

public boolean accepts(Iterable<I> input)

Specified by:

accepts in interface AcceptorTS<S,I>

setStateProperty

public void setStateProperty(S state,
                    Boolean property)

Specified by:

setStateProperty in interface MutableAutomaton<S,I,S,Boolean,Void>

setTransitionProperty

public void setTransitionProperty(S transition,
                         Void property)

Specified by:

setTransitionProperty in interface MutableAutomaton<S,I,S,Boolean,Void>

createTransition

public S createTransition(S successor,
                 Void properties)

Specified by:

createTransition in interface MutableAutomaton<S,I,S,Boolean,Void>

copyTransition

public S copyTransition(S trans,
               S succ)

Specified by:

copyTransition in interface MutableAutomaton<S,I,S,Boolean,Void>

flipAcceptance

public void flipAcceptance()

Specified by:

flipAcceptance in interface MutableFSA<S,I>