net.automatalib.automata.simple

Class SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction<I>>

java.lang.Object

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

Type Parameters:

I - input symbol type

A - state abstraction type

All Implemented Interfaces:

SimpleDeterministicAutomaton.FullIntAbstraction, SimpleDeterministicAutomaton.IntAbstraction

Direct Known Subclasses:

DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

Enclosing interface:

SimpleDeterministicAutomaton.FullIntAbstraction

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

Base class implementing the default way of obtaining a SimpleDeterministicAutomaton.FullIntAbstraction, i.e., building on top of a SimpleDeterministicAutomaton.StateIntAbstraction and a mapping from integers to (concrete) input symbols.

Author:

Malte Isberner

Nested Class Summary

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

SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction<I>>

Field Summary

Fields

Modifier and Type	Field and Description
protected int	numInputs
protected A	stateAbstraction
protected IntFunction<? extends I>	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	getIntInitialState() Retrieves the initial state of the (abstracted) automaton as an integer.
int	getSuccessor(int state, int input) Retrieves the (abstracted) successor for a given (abstracted) source state and (abstracted) input.
protected I	intToSym(int input)
int	numInputs() Retrieves the number of input symbols.
int	size() Retrieves the number of states of the (abstracted) automaton.

Methods inherited from class java.lang.Object

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

Field Detail

stateAbstraction

protected final A extends SimpleDeterministicAutomaton.StateIntAbstraction<I> stateAbstraction

numInputs

protected final int numInputs

symMapping

protected final IntFunction<? extends I> symMapping

Constructor Detail

DefaultAbstraction

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

Method Detail

getSuccessor

public int getSuccessor(int state,
                        int input)

Description copied from interface: SimpleDeterministicAutomaton.FullIntAbstraction

Retrieves the (abstracted) successor for a given (abstracted) source state and (abstracted) input.

Specified by:

getSuccessor in interface SimpleDeterministicAutomaton.FullIntAbstraction

Parameters:

state - the integer representing the source state

input - the integer representing the input symbol

Returns:

the integer representing the target state, or SimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE if there is no successor state.

numInputs

public int numInputs()

Description copied from interface: SimpleDeterministicAutomaton.FullIntAbstraction

Retrieves the number of input symbols. This determines the valid range of input symbols, which is [0, numInputs() - 1].

Specified by:

numInputs in interface SimpleDeterministicAutomaton.FullIntAbstraction

Returns:

the number of input symbols

intToSym

protected final I intToSym(int input)

size

public int size()

Description copied from interface: SimpleDeterministicAutomaton.IntAbstraction

Retrieves the number of states of the (abstracted) automaton.

Specified by:

size in interface SimpleDeterministicAutomaton.IntAbstraction

Returns:

the number of states.

getIntInitialState

public int getIntInitialState()

Description copied from interface: SimpleDeterministicAutomaton.IntAbstraction

Retrieves the initial state of the (abstracted) automaton as an integer. If the automaton has no initial state, SimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE is returned.

Specified by:

getIntInitialState in interface SimpleDeterministicAutomaton.IntAbstraction

Returns:

the integer representing the initial state, or SimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE.