12#ifndef CPROVER_GOTO_SYMEX_GOTO_SYMEX_IS_CONSTANT_H
13#define CPROVER_GOTO_SYMEX_GOTO_SYMEX_IS_CONSTANT_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Base class for all expressions.
bool is_constant(const exprt &expr) const override
This function determines what expressions are to be propagated as "constants".
const irep_idt & id() const
Determine whether an expression is constant.
virtual bool is_constant(const exprt &) const
This function determines what expressions are to be propagated as "constants".
#define forall_operands(it, expr)
Deprecated expression utility functions.