Package net.automatalib.automaton.abstraction

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

java.lang.Object

net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction<I,A>

Type Parameters:

I - input symbol type

A - state abstraction type

All Implemented Interfaces:

FiniteRepresentation, SimpleDeterministicAutomaton.FullIntAbstraction, SimpleDeterministicAutomaton.IntAbstraction

Direct Known Subclasses:

DeterministicAbstractions.FullIntAbstraction

Enclosing interface:

SimpleDeterministicAbstractions

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

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

Field Summary

Fields

Modifier and Type	Field	Description
protected int	numInputs
protected A	stateAbstraction
protected IntFunction<? extends I>	symMapping

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

INVALID_STATE

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	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()	Returns the number of entities required to represent this system.

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

FullIntAbstraction

public FullIntAbstraction(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: FiniteRepresentation

Returns the number of entities required to represent this system.

Specified by:

size in interface FiniteRepresentation

Returns:

the number of entities required to represent this system

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.