Uses of Class
de.rwth.i2.attestor.phases.communication.OutputSettings

Packages that use OutputSettings

Package	Description
de.rwth.i2.attestor.io.settings
de.rwth.i2.attestor.phases.parser
de.rwth.i2.attestor.phases.transformers

Uses of OutputSettings in de.rwth.i2.attestor.io.settings

Methods in de.rwth.i2.attestor.io.settings with parameters of type OutputSettings

Modifier and Type	Method and Description
void	SettingsFileReader.getOutputSettings(OutputSettings output) Populates all output communication from the parsed communication file.
void	CommandLineReader.getOutputSettings(OutputSettings outputSettings) Populates all communication that customize how state spaces are exported with data extracted from the command line arguments.

Uses of OutputSettings in de.rwth.i2.attestor.phases.parser

Methods in de.rwth.i2.attestor.phases.parser that return OutputSettings

Modifier and Type	Method and Description
OutputSettings	CLIPhase.getOutputSettings()

Uses of OutputSettings in de.rwth.i2.attestor.phases.transformers

Methods in de.rwth.i2.attestor.phases.transformers that return OutputSettings

Modifier and Type	Method and Description
OutputSettings	OutputSettingsTransformer.getOutputSettings()