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