public static class MutableDeterministic.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>> extends UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A> implements MutableDeterministic.FullIntAbstraction<T,SP,TP>
MutableDeterministic.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>>
numInputs, stateAbstraction, symMapping
INVALID_STATE
Constructor and Description |
---|
DefaultAbstraction(A stateAbstraction,
int numInputs,
IntFunction<? extends I> symMapping) |
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,
int input,
int successor,
TP property) |
void |
setTransition(int state,
int input,
T transition) |
void |
setTransitionProperty(T transition,
TP property) |
getStateProperty, getTransitionProperty
getIntSuccessor, getTransition
getIntInitialState, getSuccessor, intToSym, numInputs, size
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getTransitionProperty
getStateProperty, getTransitionProperty
getSuccessor, getTransition
getIntSuccessor
numInputs
getIntInitialState, size
public DefaultAbstraction(A stateAbstraction, int numInputs, IntFunction<? extends I> symMapping)
public void setTransition(int state, int input, @Nullable T transition)
setTransition
in interface MutableDeterministic.FullIntAbstraction<T,SP,TP>
public void setTransition(int state, int input, int successor, @Nullable TP property)
setTransition
in interface MutableDeterministic.FullIntAbstraction<T,SP,TP>
public void setStateProperty(int state, @Nullable SP property)
setStateProperty
in interface MutableDeterministic.IntAbstraction<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.