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

Class ProofStructureHtmlExporter

java.lang.Object

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

All Implemented Interfaces:

ProofStructureExporter

public class ProofStructureHtmlExporter
extends Object
implements ProofStructureExporter

Constructor Summary

Constructors

Constructor and Description
ProofStructureHtmlExporter(String directory)

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ProofStructureHtmlExporter

public ProofStructureHtmlExporter(String directory)

Method Detail

export

public void export(String name,
                   ProofStructure ps)
            throws IOException

Specified by:

export in interface ProofStructureExporter

Throws:

IOException