net.automatalib.automata.fsa.abstractimpl

Class AbstractMutableFSA<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.AbstractMutableFSA<S,I>

All Implemented Interfaces:

Iterable<S>, Automaton<S,I,S>, Output<I,Boolean>, SuffixOutput<I,Boolean>, FiniteStateAcceptor<S,I>, MutableFSA<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 AbstractMutableFSA<S,I>
extends AbstractMutableAutomaton<S,I,S,Boolean,Void>
implements MutableFSA<S,I>

Field Summary

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

STATE_PROPERTIES, TRANSITION_PROPERTIES

Constructor Summary

Constructors

Constructor and Description
AbstractMutableFSA()

Method Summary

Methods

Modifier and Type	Method and Description
S	addInitialState()
S	addInitialState(boolean accepting)
S	addInitialState(Boolean property)
static <S,I> S	addInitialState(MutableFSA<S,I> $this)
static <S,I> S	addInitialState(MutableFSA<S,I> $this, boolean accepting)
static <S,I> S	addInitialState(MutableFSA<S,I> $this, Boolean property)
S	addState()
S	addState(Boolean property)
static <S,I> S	addState(MutableFSA<S,I> $this)
static <S,I> S	addState(MutableFSA<S,I> $this, Boolean property)
static <S,I> S	copyTransition(MutableFSA<S,I> $this, S trans, S succ)
S	copyTransition(S transition, S successor)
static <S,I> S	createTransition(MutableFSA<S,I> $this, S successor, Void properties)
S	createTransition(S successor, Void properties)
void	flipAcceptance()
static <S,I> void	flipAcceptance(MutableFSA<S,I> $this)
static <S,I> void	setStateProperty(MutableFSA<S,I> $this, S state, Boolean property)
void	setStateProperty(S state, Boolean property)
static <S,I> void	setTransitionProperty(MutableFSA<S,I> $this, S transition, Void property)
void	setTransitionProperty(S transition, Void property)

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

addInitialState, addInitialState, 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

addState, setAccepting

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

accepts, 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

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

getSuccessor, getTransitions, powersetView

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

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

Constructor Detail

AbstractMutableFSA

public AbstractMutableFSA()

Method Detail

setStateProperty

public static <S,I> void setStateProperty(MutableFSA<S,I> $this,
                          S state,
                          Boolean property)

setTransitionProperty

public static <S,I> void setTransitionProperty(MutableFSA<S,I> $this,
                               S transition,
                               Void property)

flipAcceptance

public static <S,I> void flipAcceptance(MutableFSA<S,I> $this)

addState

public static <S,I> S addState(MutableFSA<S,I> $this)

addState

public static <S,I> S addState(MutableFSA<S,I> $this,
               Boolean property)

addInitialState

public static <S,I> S addInitialState(MutableFSA<S,I> $this)

addInitialState

public static <S,I> S addInitialState(MutableFSA<S,I> $this,
                      Boolean property)

createTransition

public static <S,I> S createTransition(MutableFSA<S,I> $this,
                       S successor,
                       Void properties)

copyTransition

public static <S,I> S copyTransition(MutableFSA<S,I> $this,
                     S trans,
                     S succ)

addInitialState

public static <S,I> S addInitialState(MutableFSA<S,I> $this,
                      boolean accepting)

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>

flipAcceptance

public void flipAcceptance()

Specified by:

flipAcceptance in interface MutableFSA<S,I>

addState

public S addState()

Specified by:

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

Overrides:

addState in class AbstractMutableAutomaton<S,I,S,Boolean,Void>

addState

public S addState(Boolean property)

Specified by:

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

addInitialState

public S addInitialState()

Specified by:

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

Overrides:

addInitialState in class AbstractMutableAutomaton<S,I,S,Boolean,Void>

addInitialState

public S addInitialState(Boolean property)

Specified by:

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

Overrides:

addInitialState in class AbstractMutableAutomaton<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 transition,
               S successor)

Specified by:

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

addInitialState

public S addInitialState(boolean accepting)

Specified by:

addInitialState in interface MutableFSA<S,I>