net.automatalib.automata.simple

Interfaces

• SimpleAutomaton
• SimpleDeterministicAutomaton
• SimpleDeterministicAutomaton.FullIntAbstraction
• SimpleDeterministicAutomaton.IntAbstraction
• SimpleDeterministicAutomaton.StateIntAbstraction

Classes

• SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
• SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction
• SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction