S
- state classI
- input symbol classT
- transition classSP
- state property classTP
- transition property classpublic abstract class AbstractMutableDeterministic<S,I,T,SP,TP> extends AbstractDeterministicAutomaton<S,I,T> implements MutableDeterministic<S,I,T,SP,TP>
Constructor and Description |
---|
AbstractMutableDeterministic() |
Modifier and Type | Method and Description |
---|---|
S |
addInitialState() |
S |
addInitialState(SP property) |
S |
addState() |
static <S,I,T,SP,TP> |
addTransition(MutableDeterministic<S,I,T,SP,TP> $this,
S state,
I input,
T transition)
|
T |
addTransition(S state,
I input,
S successor,
TP property) |
void |
addTransition(S state,
I input,
T transition) |
void |
addTransitions(S state,
I input,
Collection<? extends T> transitions) |
static <S,I,T,SP,TP> |
removeAllTransitions(MutableDeterministic<S,I,T,SP,TP> $this,
S state,
I input)
Provides a realization of
MutableAutomaton.removeAllTransitions(Object, Object)
using MutableDeterministic.setTransition(Object, Object, Object) . |
void |
removeAllTransitions(S state,
I input) |
static <S,I,T,SP,TP> |
removeTransition(MutableDeterministic<S,I,T,SP,TP> $this,
S state,
I input,
T transition)
|
void |
removeTransition(S state,
I input,
T transition) |
static <S,I,T,SP,TP> |
setInitial(MutableDeterministic<S,I,T,SP,TP> $this,
S state,
boolean initial)
Provides a realization of
MutableAutomaton.setInitial(Object, boolean)
using SimpleDTS.getInitialState() and
MutableDeterministic.setInitialState(Object) . |
void |
setInitial(S state,
boolean initial) |
static <S,I,T,SP,TP> |
setTransition(MutableDeterministic<S,I,T,SP,TP> $this,
S state,
I input,
S successor,
TP property)
|
void |
setTransition(S state,
I input,
S succ,
TP properties)
Sets the transition for the given state and input symbol to a newly
created one.
|
static <S,I,T,SP,TP> |
setTransitions(MutableDeterministic<S,I,T,SP,TP> $this,
S state,
I input,
Collection<? extends T> transitions)
Provides a realization of
MutableAutomaton.setTransitions(Object, Object, Collection)
using MutableDeterministic.setTransition(Object, Object, Object) |
void |
setTransitions(S state,
I input,
Collection<? extends T> transitions) |
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
setInitialState, setTransition
getTransition
getInitialState, getState, getSuccessor, getSuccessor
addState, clear, copyTransition, createTransition, removeAllTransitions, setStateProperty, setTransitionProperty
getStates, size, stateIDs
forEach, iterator, spliterator
getStateProperty, getTransitionProperty
getSuccessor, getTransitions, powersetView
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
public AbstractMutableDeterministic()
public static <S,I,T,SP,TP> void addTransition(MutableDeterministic<S,I,T,SP,TP> $this, S state, I input, T transition)
public static <S,I,T,SP,TP> void removeTransition(MutableDeterministic<S,I,T,SP,TP> $this, S state, I input, T transition)
public static <S,I,T,SP,TP> void removeAllTransitions(MutableDeterministic<S,I,T,SP,TP> $this, S state, I input)
MutableAutomaton.removeAllTransitions(Object, Object)
using MutableDeterministic.setTransition(Object, Object, Object)
.public static <S,I,T,SP,TP> void setTransitions(MutableDeterministic<S,I,T,SP,TP> $this, S state, I input, Collection<? extends T> transitions)
MutableAutomaton.setTransitions(Object, Object, Collection)
using MutableDeterministic.setTransition(Object, Object, Object)
public static <S,I,T,SP,TP> void setTransition(MutableDeterministic<S,I,T,SP,TP> $this, S state, I input, S successor, TP property)
public static <S,I,T,SP,TP> void setInitial(MutableDeterministic<S,I,T,SP,TP> $this, S state, boolean initial)
MutableAutomaton.setInitial(Object, boolean)
using SimpleDTS.getInitialState()
and
MutableDeterministic.setInitialState(Object)
.public void addTransition(S state, I input, T transition)
addTransition
in interface MutableAutomaton<S,I,T,SP,TP>
public void addTransitions(S state, I input, Collection<? extends T> transitions)
addTransitions
in interface MutableAutomaton<S,I,T,SP,TP>
public T addTransition(S state, I input, S successor, TP property)
addTransition
in interface MutableAutomaton<S,I,T,SP,TP>
public void removeTransition(S state, I input, T transition)
removeTransition
in interface MutableAutomaton<S,I,T,SP,TP>
public void removeAllTransitions(S state, I input)
removeAllTransitions
in interface MutableAutomaton<S,I,T,SP,TP>
public void setInitial(S state, boolean initial)
setInitial
in interface MutableAutomaton<S,I,T,SP,TP>
public void setTransitions(S state, I input, Collection<? extends T> transitions)
setTransitions
in interface MutableAutomaton<S,I,T,SP,TP>
public void setTransition(S state, I input, S succ, TP properties)
MutableDeterministic
setTransition
in interface MutableDeterministic<S,I,T,SP,TP>
state
- the source stateinput
- the triggering input symbolsucc
- the target stateproperties
- the transition's propertypublic S addInitialState(SP property)
addInitialState
in interface MutableAutomaton<S,I,T,SP,TP>
public S addInitialState()
addInitialState
in interface MutableAutomaton<S,I,T,SP,TP>
Copyright © 2015. All Rights Reserved.