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 |
---|
SimpleDeterministicAutomaton
A simple deterministic automaton.
|
SimpleDeterministicAutomaton.FullIntAbstraction
Interface for an
integer abstraction that abstracts both states and input symbols
to integers. |
Copyright © 2015. All rights reserved.