net.automatalib.automata.simple

Class SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>>

java.lang.Object

net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A>

Type Parameters:

S - state type

A - automaton type

All Implemented Interfaces:

SimpleDeterministicAutomaton.IntAbstraction

Direct Known Subclasses:

SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction

Enclosing interface:

SimpleDeterministicAutomaton.IntAbstraction

public static class SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>>
extends Object
implements SimpleDeterministicAutomaton.IntAbstraction

Base class implementing the default way of obtaining an integer abstraction from an automaton, i.e., by mapping states to integers and vice versa using the StateIDs mapping obtained via SimpleAutomaton.stateIDs().

Author:

Malte Isberner

Nested Class Summary

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

SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>>

Field Summary

Fields

Modifier and Type	Field and Description
protected A	automaton
protected StateIDs<S>	stateIds

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

INVALID_STATE

Constructor Summary

Constructors

Constructor and Description
DefaultAbstraction(A automaton)

Method Summary

Modifier and Type	Method and Description
int	getIntInitialState() Retrieves the initial state of the (abstracted) automaton as an integer.
protected S	intToState(int stateId)
int	size() Retrieves the number of states of the (abstracted) automaton.
protected int	stateToInt(S state)

Methods inherited from class java.lang.Object

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

Field Detail

automaton

protected final A extends SimpleDeterministicAutomaton<S,?> automaton

stateIds

protected final StateIDs<S> stateIds

Constructor Detail

DefaultAbstraction

public DefaultAbstraction(A automaton)

Method Detail

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.

intToState

protected final S intToState(int stateId)

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.

stateToInt

protected final int stateToInt(S state)