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.
size_t operator()(const AscriptionType &at) const
Class encapsulating CVC4 expression types.
bool operator==(const AscriptionType &other) const
std::ostream & operator<<(std::ostream &out, TypeConstant typeConstant)
Macros that should be defined everywhere during the building of the libraries and driver binary...
A class used to parameterize a type ascription.
bool operator!=(const AscriptionType &other) const
struct CVC4::options::out__option_t out
Interface for expression types.