public abstract class AbstractMutableFSA<S,I> extends AbstractMutableAutomaton<S,I,S,Boolean,Void> implements MutableFSA<S,I>
STATE_PROPERTIES, TRANSITION_PROPERTIES
Constructor and Description |
---|
AbstractMutableFSA() |
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)
Adds a state to the automaton.
|
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) |
addInitialState, addInitialState, addState, addTransition, addTransition, addTransition, addTransition, addTransitions, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition
iterator, iterator, size, size, stateIDs, stateIDs
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
addState, setAccepting
accepts, isAccepting
computeSuffixOutput
computeOutput
addTransition, addTransition, addTransitions, clear, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitions
getStates, size, stateIDs
forEach, iterator, spliterator
getStateProperty, getTransitionProperty
getSuccessor, getTransitions, powersetView
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
public AbstractMutableFSA()
public static <S,I> void setStateProperty(MutableFSA<S,I> $this, S state, Boolean property)
public static <S,I> void setTransitionProperty(MutableFSA<S,I> $this, S transition, Void property)
public static <S,I> void flipAcceptance(MutableFSA<S,I> $this)
public static <S,I> S addState(MutableFSA<S,I> $this)
public static <S,I> S addState(MutableFSA<S,I> $this, Boolean property)
public static <S,I> S addInitialState(MutableFSA<S,I> $this)
public static <S,I> S addInitialState(MutableFSA<S,I> $this, Boolean property)
public static <S,I> S createTransition(MutableFSA<S,I> $this, S successor, Void properties)
public static <S,I> S copyTransition(MutableFSA<S,I> $this, S trans, S succ)
public static <S,I> S addInitialState(MutableFSA<S,I> $this, boolean accepting)
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 void flipAcceptance()
flipAcceptance
in interface MutableFSA<S,I>
public S addState(Boolean property)
MutableAutomaton
public S addInitialState()
addInitialState
in interface MutableAutomaton<S,I,S,Boolean,Void>
addInitialState
in class AbstractMutableAutomaton<S,I,S,Boolean,Void>
public S addInitialState(Boolean property)
addInitialState
in interface MutableAutomaton<S,I,S,Boolean,Void>
addInitialState
in class AbstractMutableAutomaton<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 transition, S successor)
copyTransition
in interface MutableAutomaton<S,I,S,Boolean,Void>
public S addInitialState(boolean accepting)
addInitialState
in interface MutableFSA<S,I>
Copyright © 2015. All Rights Reserved.