33 CheckArgument(index >= 1, index,
"index >= 1 required for abstract value, not `%s'", index.toString().c_str());
44 return d_index == val.d_index;
47 return !(*
this == val);
51 return d_index < val.d_index;
54 return d_index <= val.d_index;
57 return !(*
this <= val);
60 return !(*
this < val);
Hash function for the BitVector constants.
bool operator!=(const AbstractValue &val) const
void CheckArgument(bool cond, const T &arg, const char *fmt,...)
bool operator==(const AbstractValue &val) const
const Integer & getIndex() const
bool operator>(const AbstractValue &val) const
Macros that should be defined everywhere during the building of the libraries and driver binary...
AbstractValue(Integer index)
bool operator<=(const AbstractValue &val) const
bool operator<(const AbstractValue &val) const
bool operator>=(const AbstractValue &val) const
struct CVC4::options::out__option_t out
std::ostream & operator<<(std::ostream &out, SimplificationMode mode)
size_t operator()(const AbstractValue &val) const
Interface for expression types.