SimpleDeterministicAbstractions.IntAbstraction (AutomataLib 0.11.0 API)

java.lang.Object
- net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction<S,A>

Type Parameters:

S - state type

A - automaton type

All Implemented Interfaces:

FiniteRepresentation, SimpleDeterministicAutomaton.IntAbstraction

Direct Known Subclasses:

SimpleDeterministicAbstractions.StateIntAbstraction

Enclosing interface:

SimpleDeterministicAbstractions
```
public static class SimpleDeterministicAbstractions.IntAbstraction<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().

Field Summary

Fields
Modifier and Type Field Description

protected A automaton

protected StateIDs<S> stateIds
- Fields inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
  INVALID_STATE

Constructor Summary

Constructors
Constructor Description

IntAbstraction(A automaton)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`getIntInitialState()`	Retrieves the initial state of the (abstracted) automaton as an integer.
`protected S`	`intToState(int stateId)`
`protected @Nullable S`	`safeIntToState(int stateId)`
`protected int`	`safeStateToInt(@Nullable S state)`
`int`	`size()`	Returns the number of entities required to represent this system.
`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
  - IntAbstraction
```
public IntAbstraction(A automaton)
```
- Method Detail
  - 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
  - intToState
```
protected final S intToState(int stateId)
```
  - safeIntToState
```
protected final @Nullable S safeIntToState(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)
```
  - safeStateToInt
```
protected final int safeStateToInt(@Nullable S state)
```