de.rwth.i2.attestor.io

Interface SummaryExporter

public interface SummaryExporter

Created by christina on 05.12.17.

Method Summary

Modifier and Type	Method and Description
void	exportForReport(Scene scene, StateSpace spatespace, ModelCheckingPhase mcPhase, ModelCheckingSettings mcSetting, CLIPhase cliPhase, List<AbstractPhase> phases)

Method Detail

exportForReport

void exportForReport(Scene scene,
                     StateSpace spatespace,
                     ModelCheckingPhase mcPhase,
                     ModelCheckingSettings mcSetting,
                     CLIPhase cliPhase,
                     List<AbstractPhase> phases)