| Class | Description |
|---|---|
| InputSettings |
All global communication regarding input files.
|
| ModelCheckingSettings |
The collection of the model checking related communication including the
formulae.
|
| OutputSettings |
All communication related to exporting artifacts.
|
Copyright © 2019. All rights reserved.