Next: Falseness Storage, Previous: proof Operators, Up: The proof class
Output of the proof class is achieved in one of two ways. Either, the functions proof::int and failed() are used, or an overloaded ostream operator for a fixed format.