Package org.sosy_lab.java_smt.api.proofs.visitors

These package is meant to provide the visitor classes used for proof handling.

Interface Summary

Interface	Description
ProofVisitor

Class Summary

Class	Description
ProofTraversalVisitor