22 #ifndef _cvc3__statistics_h
23 #define _cvc3__statistics_h
73 if(*f.
d_flag)
return(os <<
"true");
74 else return(os <<
"false");
106 { *d_counter=*x.
d_counter;
return *
this; }
108 { *d_counter-=*x.
d_counter;
return *
this; }
110 { *d_counter+=*x.
d_counter;
return *
this; }
167 std::ostream&
printAll(std::ostream& os)
const;
friend bool operator==(const StatCounter &c1, const StatCounter &c2)
ostream & operator<<(ostream &os, const Expr &e)
friend bool operator!=(const StatCounter &c1, const StatCounter &c2)
StatCounter & operator=(int x)
bool operator==(const Expr &e1, const Expr &e2)
StatCounterMap d_counters
StatCounter & operator-=(int x)
StatFlag flag(const std::string &name)
StatCounter & operator+=(const StatCounter &x)
friend bool operator!=(const StatFlag &f1, const StatFlag &f2)
StatCounter & operator-=(const StatCounter &x)
friend std::ostream & operator<<(std::ostream &os, const StatFlag &f)
StatCounter counter(const std::string &name)
std::map< std::string, int > StatCounterMap
StatCounter & operator+=(int x)
friend bool operator==(const StatFlag &f1, const StatFlag &f2)
StatFlag & operator=(bool x)
std::ostream & printAll(std::ostream &os) const
StatCounter & operator=(const StatCounter &x)
bool operator!=(const Expr &e1, const Expr &e2)
std::map< std::string, bool > StatFlagMap
friend std::ostream & operator<<(std::ostream &os, const StatCounter &f)
friend std::ostream & operator<<(std::ostream &os, const Statistics &stats)