20 #ifndef __CVC4__CHAIN_H
21 #define __CVC4__CHAIN_H
A class to represent a chained, built-in operator.
bool operator==(const Chain &ch) const
bool operator!=(const Chain &ch) const
Macros that should be defined everywhere during the building of the libraries and driver binary...
size_t operator()(const Chain &ch) const
struct CVC4::options::out__option_t out
std::ostream & operator<<(std::ostream &out, SimplificationMode mode)