| 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 © 2018. All rights reserved.