net.automatalib.automata

Class DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,A extends DeterministicAutomaton.StateIntAbstraction<I,T>>

java.lang.Object

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

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

All Implemented Interfaces:

DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, SimpleDeterministicAutomaton.FullIntAbstraction, SimpleDeterministicAutomaton.IntAbstraction

Direct Known Subclasses:

UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

Enclosing interface:

DeterministicAutomaton.FullIntAbstraction<T>

public static class DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,A extends DeterministicAutomaton.StateIntAbstraction<I,T>>
extends SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,A>
implements DeterministicAutomaton.FullIntAbstraction<T>

Nested Class Summary

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

DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,A extends DeterministicAutomaton.StateIntAbstraction<I,T>>

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	getIntSuccessor(T transition) Retrieves the (abstracted) successor of a transition object.
T	getTransition(int state, int input) Retrieves the outgoing transition for an (abstracted) source state and (abstracted) input symbol, or returns null if the automaton has no transition for this state and input.

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.DeterministicAutomaton.FullIntAbstraction

getSuccessor

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

getTransition

public T getTransition(int state,
                       int input)

Description copied from interface: DeterministicAutomaton.FullIntAbstraction

Retrieves the outgoing transition for an (abstracted) source state and (abstracted) input symbol, or returns null if the automaton has no transition for this state and input.

Specified by:

getTransition in interface DeterministicAutomaton.FullIntAbstraction<T>

Parameters:

state - the integer representing the source state

input - the integer representing the input symbol

Returns:

the outgoing transition, or null

getIntSuccessor

public int getIntSuccessor(T transition)

Description copied from interface: DeterministicAutomaton.IntAbstraction

Retrieves the (abstracted) successor of a transition object.

Specified by:

getIntSuccessor in interface DeterministicAutomaton.IntAbstraction<T>

Parameters:

transition - the transition object

Returns:

the integer representing the successor of the given transition