```
public interface SimpleDeterministicAbstractions
```
Default implementations for SimpleDeterministicAutomaton abstractions.

Nested Classes
Modifier and Type	Interface	Description
`static class`	`SimpleDeterministicAbstractions.FullIntAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction<I>>`	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.
`static class`	`SimpleDeterministicAbstractions.IntAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>>`	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()`.
`static class`	`SimpleDeterministicAbstractions.StateIntAbstraction<S,I,A extends SimpleDeterministicAutomaton<S,I>>`	Base class implementing the default way of obtaining a `SimpleDeterministicAutomaton.StateIntAbstraction`.

Interface SimpleDeterministicAbstractions