19 #ifndef __CVC4__ASCRIPTION_TYPE_H 20 #define __CVC4__ASCRIPTION_TYPE_H 39 return d_type == other.d_type;
42 return d_type != other.d_type;
A hash function for type ascription operators.
Class encapsulating CVC4 expression types.
size_t operator()(const AscriptionType &at) const
bool operator==(const AscriptionType &other) const
Macros that should be defined everywhere during the building of the libraries and driver binary...
A class used to parameterize a type ascription.
std::ostream & operator<<(std::ostream &out, ModelFormatMode mode)
struct CVC4::options::out__option_t out
bool operator!=(const AscriptionType &other) const
Interface for expression types.