| Package | Description |
|---|---|
| rationals | |
| rationals.transformations |
| Modifier and Type | Class and Description |
|---|---|
class |
DefaultSynchronization
Default synchronization scheme for standard automaton.
|
| Constructor and Description |
|---|
Mix(Synchronization synch)
Compute mix of two automata using given synchronization scheme.
|
Copyright © 2018. All rights reserved.