Go to the documentation of this file. 1 #ifndef LFSC_LRA_PROOF_H_
2 #define LFSC_LRA_PROOF_H_
24 void print_pf( std::ostream& s,
int ind = 0 );
48 void print_pf( std::ostream& s,
int ind = 0 );
74 void print_pf( std::ostream& s,
int ind = 0 );
102 void print_pf( std::ostream& s,
int ind = 0 );
126 void print_pf( std::ostream& s,
int ind = 0 );