Uses of Class
de.rwth.i2.attestor.phases.modelChecking.modelChecker.ProofStructure

Packages that use ProofStructure

Package	Description
de.rwth.i2.attestor.phases.modelChecking.modelChecker	This package implements the model checking tableau method from

Uses of ProofStructure in de.rwth.i2.attestor.phases.modelChecking.modelChecker

Methods in de.rwth.i2.attestor.phases.modelChecking.modelChecker with parameters of type ProofStructure

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