| Package | Description |
|---|---|
| rationals | |
| rationals.converters | |
| rationals.properties | |
| rationals.transformations |
| Class and Description |
|---|
| Acceptor |
| Automaton
A class defining Automaton objects
This class defines the notion of automaton.
|
| Rational |
| State
Interface for State objects
This class defines the notion of state of an automaton.
|
| StateFactory
This class is used by Automaton objects to create new states on A user can
implement its own version of StateFactory by providing an implementation for
createState
|
| StateMachine
An interface for abstract state machines.
|
| Synchronization
An interface for defining various synchronization schemes.
|
| Transition
Defines a Transition (an edge from a state to a state) in an Automaton
This class defines the notion of transition of an automaton.
|
| Class and Description |
|---|
| Automaton
A class defining Automaton objects
This class defines the notion of automaton.
|
| Class and Description |
|---|
| Automaton
A class defining Automaton objects
This class defines the notion of automaton.
|
| State
Interface for State objects
This class defines the notion of state of an automaton.
|
| Class and Description |
|---|
| Automaton
A class defining Automaton objects
This class defines the notion of automaton.
|
| State
Interface for State objects
This class defines the notion of state of an automaton.
|
| Synchronization
An interface for defining various synchronization schemes.
|
| Transition
Defines a Transition (an edge from a state to a state) in an Automaton
This class defines the notion of transition of an automaton.
|
Copyright © 2020. All rights reserved.