54 return d_type == es.d_type;
57 return !(*
this == es);
61 return d_type < es.d_type;
64 return d_type <= es.d_type;
67 return !(*
this <= es);
EmptySet(SetType setType)
Constructs an emptyset of the specified type.
Class encapsulating an set type.
std::ostream & operator<<(std::ostream &, const Command &)
bool operator!=(const EmptySet &es) const
bool operator>=(const EmptySet &es) const
bool operator>(const EmptySet &es) const
Macros that should be defined everywhere during the building of the libraries and driver binary...
bool operator==(const EmptySet &es) const
size_t operator()(const EmptySet &es) const
bool operator<=(const EmptySet &es) const
bool operator<(const EmptySet &es) const
struct CVC4::options::out__option_t out
Interface for expression types.