16 return !(*
this == other);
38 return visitor.
visit(*numeral);
40 return visitor.
visit(*symbol);
64 return get(ID_identifier);
bool operator==(const irept &other) const
std::size_t get_size_t(const irep_idt &name) const
const irep_idt & get(const irep_idt &name) const
void set(const irep_idt &name, const irep_idt &value)
void set_size_t(const irep_idt &name, const std::size_t value)
const irep_idt & id() const
virtual void visit(const smt_numeral_indext &)=0
bool operator!=(const smt_indext &) const
const sub_classt * cast() const &
bool operator==(const smt_indext &) const
void accept(smt_index_const_downcast_visitort &) const
smt_numeral_indext(std::size_t value)
std::size_t value() const
smt_symbol_indext(irep_idt identifier)
irep_idt identifier() const
const irep_idt ID_smt_symbol_index
const irep_idt ID_smt_numeral_index
#define UNREACHABLE
This should be used to mark dead code.
#define PRECONDITION(CONDITION)