proofs.hpp File Reference

Contains the declaration of the proof namespace. More...

+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  proofs
 Implements all the proof a verificatum verifier must perform.

Detailed Description

Contains the declaration of the proof namespace.

Author
Léo Perrin
Date
Time-stamp: <2012-07-28 22:01:28 leo>

When using the libproofs, including this file provides all the headers one might need.

Definition in file proofs.hpp.