public static class MutableDeterministic.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> extends UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A> implements MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
MutableDeterministic.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>
automaton, stateIds
INVALID_STATE
Constructor and Description |
---|
DefaultAbstraction(A automaton) |
Modifier and Type | Method and Description |
---|---|
int |
addIntInitialState() |
int |
addIntInitialState(SP property) |
int |
addIntState() |
int |
addIntState(SP property) |
T |
createTransition(int successor,
TP property) |
void |
setInitialState(int state) |
void |
setStateProperty(int state,
SP property) |
void |
setTransition(int state,
I input,
int successor,
TP property) |
void |
setTransition(int state,
I input,
T transition) |
void |
setTransitionProperty(T transition,
TP property) |
getStateProperty, getTransitionProperty
getIntSuccessor, getTransition
getSuccessor
getIntInitialState, intToState, size, stateToInt
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getTransitionProperty
getStateProperty, getTransitionProperty
getSuccessor, getTransition
getIntSuccessor
getIntInitialState, size
public DefaultAbstraction(A automaton)
public void setStateProperty(int state, @Nullable SP property)
setStateProperty
in interface MutableDeterministic.IntAbstraction<T,SP,TP>
public void setTransition(int state, I input, @Nullable T transition)
setTransition
in interface MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
public void setTransition(int state, I input, int successor, @Nullable TP property)
setTransition
in interface MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
public void setTransitionProperty(T transition, @Nullable TP property)
setTransitionProperty
in interface MutableDeterministic.IntAbstraction<T,SP,TP>
public void setInitialState(int state)
setInitialState
in interface MutableDeterministic.IntAbstraction<T,SP,TP>
public T createTransition(int successor, @Nullable TP property)
createTransition
in interface MutableDeterministic.IntAbstraction<T,SP,TP>
public int addIntState()
addIntState
in interface MutableDeterministic.IntAbstraction<T,SP,TP>
public int addIntState(@Nullable SP property)
addIntState
in interface MutableDeterministic.IntAbstraction<T,SP,TP>
public int addIntInitialState()
addIntInitialState
in interface MutableDeterministic.IntAbstraction<T,SP,TP>
public int addIntInitialState(@Nullable SP property)
addIntInitialState
in interface MutableDeterministic.IntAbstraction<T,SP,TP>
Copyright © 2019. All rights reserved.