10 #ifndef CPROVER_UTIL_THREEVAL_H 11 #define CPROVER_UTIL_THREEVAL_H 103 #endif // CPROVER_UTIL_THREEVAL_H
bool operator==(const tvt other) const
tvt operator||(const tvt other) const
tvt operator&&(const tvt other) const
const char * to_string() const
tv_enumt get_value() const
std::ostream & operator<<(std::ostream &out, const tvt &a)
bool operator!=(const tvt other) const