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, SP property)
setStateProperty
in interface MutableDeterministic.IntAbstraction<T,SP,TP>
public void setTransition(int state, I input, T transition)
setTransition
in interface MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
public void setTransition(int state, I input, int successor, TP property)
setTransition
in interface MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
public void setTransitionProperty(T transition, 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, TP property)
createTransition
in interface MutableDeterministic.IntAbstraction<T,SP,TP>
public int addIntState()
addIntState
in interface MutableDeterministic.IntAbstraction<T,SP,TP>
public int addIntState(SP property)
addIntState
in interface MutableDeterministic.IntAbstraction<T,SP,TP>
public int addIntInitialState()
addIntInitialState
in interface MutableDeterministic.IntAbstraction<T,SP,TP>
public int addIntInitialState(SP property)
addIntInitialState
in interface MutableDeterministic.IntAbstraction<T,SP,TP>
Copyright © 2018. All rights reserved.