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, T transition)
setTransition
in interface MutableDeterministic.FullIntAbstraction<T,SP,TP>
public void setTransition(int state, int input, int successor, TP property)
setTransition
in interface MutableDeterministic.FullIntAbstraction<T,SP,TP>
public void setStateProperty(int state, SP property)
setStateProperty
in interface MutableDeterministic.IntAbstraction<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 © 2020. All rights reserved.