de.rwth.i2.attestor.phases.modelChecking.modelChecker

Interface ProofStructureExporter

All Known Implementing Classes:

ProofStructureHtmlExporter

public interface ProofStructureExporter

Method Summary

Modifier and Type	Method and Description
void	export(String name, ProofStructure ps)

Method Detail

export

void export(String name,
            ProofStructure ps)
     throws IOException

Throws:

IOException