net.automatalib.automata

Class MutableDeterministic.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>>

java.lang.Object

net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,A>

net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,A>

net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A>

net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A>

All Implemented Interfaces:

DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, SimpleDeterministicAutomaton.FullIntAbstraction, SimpleDeterministicAutomaton.IntAbstraction, UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>

Enclosing interface:

MutableDeterministic.FullIntAbstraction<T,SP,TP>

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>

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.automata.MutableDeterministic.FullIntAbstraction

MutableDeterministic.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>>

Field Summary

Fields inherited from class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

numInputs, stateAbstraction, symMapping

Fields inherited from interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

INVALID_STATE

Constructor Summary

Constructors

Constructor and Description
DefaultAbstraction(A stateAbstraction, int numInputs, IntFunction<? extends I> symMapping)

Method Summary

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)

Methods inherited from class net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

getStateProperty, getTransitionProperty

Methods inherited from class net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

getIntSuccessor, getTransition

Methods inherited from class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

getIntInitialState, getSuccessor, intToSym, numInputs, size

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction

getTransitionProperty

Methods inherited from interface net.automatalib.automata.UniversalDeterministicAutomaton.IntAbstraction

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction

getSuccessor, getTransition

Methods inherited from interface net.automatalib.automata.DeterministicAutomaton.IntAbstraction

getIntSuccessor

Methods inherited from interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction

numInputs

Methods inherited from interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

getIntInitialState, size

Constructor Detail

DefaultAbstraction

public DefaultAbstraction(A stateAbstraction,
                          int numInputs,
                          IntFunction<? extends I> symMapping)

Method Detail

setTransition

public void setTransition(int state,
                          int input,
                          T transition)

Specified by:

setTransition in interface MutableDeterministic.FullIntAbstraction<T,SP,TP>

setTransition

public void setTransition(int state,
                          int input,
                          int successor,
                          TP property)

Specified by:

setTransition in interface MutableDeterministic.FullIntAbstraction<T,SP,TP>

setStateProperty

public void setStateProperty(int state,
                             SP property)

Specified by:

setStateProperty in interface MutableDeterministic.IntAbstraction<T,SP,TP>

setTransitionProperty

public void setTransitionProperty(T transition,
                                  TP property)

Specified by:

setTransitionProperty in interface MutableDeterministic.IntAbstraction<T,SP,TP>

setInitialState

public void setInitialState(int state)

Specified by:

setInitialState in interface MutableDeterministic.IntAbstraction<T,SP,TP>

createTransition

public T createTransition(int successor,
                          TP property)

Specified by:

createTransition in interface MutableDeterministic.IntAbstraction<T,SP,TP>

addIntState

public int addIntState()

Specified by:

addIntState in interface MutableDeterministic.IntAbstraction<T,SP,TP>

addIntState

public int addIntState(SP property)

Specified by:

addIntState in interface MutableDeterministic.IntAbstraction<T,SP,TP>

addIntInitialState

public int addIntInitialState()

Specified by:

addIntInitialState in interface MutableDeterministic.IntAbstraction<T,SP,TP>

addIntInitialState

public int addIntInitialState(SP property)

Specified by:

addIntInitialState in interface MutableDeterministic.IntAbstraction<T,SP,TP>