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,...
std::ostream & operator<<(std::ostream &out, const TypeCheckingException &e)
size_t operator()(const Chain &ch) const