net.automatalib.automata.simple

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

java.lang.Object

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

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

Type Parameters:

S - state type

I - input symbol type

A - automaton type

All Implemented Interfaces:

SimpleDeterministicAutomaton.IntAbstraction, SimpleDeterministicAutomaton.StateIntAbstraction<I>

Direct Known Subclasses:

DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction

Enclosing interface:

SimpleDeterministicAutomaton.StateIntAbstraction<I>

public static class SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,A extends SimpleDeterministicAutomaton<S,I>>
extends SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A>
implements SimpleDeterministicAutomaton.StateIntAbstraction<I>

Base class implementing the default way of obtaining a SimpleDeterministicAutomaton.StateIntAbstraction.

Author:

Malte Isberner

See Also:

SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction

Nested Class Summary

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

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

Field Summary

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

automaton, 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	getSuccessor(int state, I input) Retrieves the (abstracted) successor state for a given (abstracted) source state and input symbol.

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

getIntInitialState, intToState, size, stateToInt

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.simple.SimpleDeterministicAutomaton.IntAbstraction

getIntInitialState, size

Constructor Detail

DefaultAbstraction

public DefaultAbstraction(A automaton)

Method Detail

getSuccessor

public int getSuccessor(int state,
                        I input)

Description copied from interface: SimpleDeterministicAutomaton.StateIntAbstraction

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

Specified by:

getSuccessor in interface SimpleDeterministicAutomaton.StateIntAbstraction<I>

Parameters:

state - the integer representing the source state

input - the input symbol

Returns:

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