Interface | Description |
---|---|
SimpleAutomaton<S,I> |
A simple automaton, i.e., a
SimpleTS with a finite number of states. |
SimpleDeterministicAutomaton<S,I> |
A simple deterministic automaton.
|
SimpleDeterministicAutomaton.FullIntAbstraction |
Interface for an
integer abstraction that abstracts both states and input symbols
to integers. |
SimpleDeterministicAutomaton.IntAbstraction |
Basic interface for integer abstractions of automata.
|
SimpleDeterministicAutomaton.StateIntAbstraction<I> |
Interface for
integer abstractions of an automaton that operate on
non-abstracted input symbols (i.e., input symbols are of type I ). |
Class | Description |
---|---|
SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction<I>> |
Base class implementing the default way of obtaining a
SimpleDeterministicAutomaton.FullIntAbstraction , i.e., building
on top of a SimpleDeterministicAutomaton.StateIntAbstraction and a mapping from integers to (concrete) input symbols. |
SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<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() . |
SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,A extends SimpleDeterministicAutomaton<S,I>> |
Base class implementing the default way of obtaining a
SimpleDeterministicAutomaton.StateIntAbstraction . |
Copyright © 2015. All rights reserved.