Uses of Package
de.rwth.i2.attestor.phases.communication

Packages that use de.rwth.i2.attestor.phases.communication

Package	Description
de.rwth.i2.attestor.phases.commandLineInterface
de.rwth.i2.attestor.phases.transformers

Classes in de.rwth.i2.attestor.phases.communication used by de.rwth.i2.attestor.phases.commandLineInterface

Class and 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.

Classes in de.rwth.i2.attestor.phases.communication used by de.rwth.i2.attestor.phases.transformers

Class and 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.