10 #ifndef CPROVER_SOLVERS_PROP_LITERAL_EXPR_H 11 #define CPROVER_SOLVERS_PROP_LITERAL_EXPR_H 35 set(ID_literal, a.
get());
64 #endif // CPROVER_SOLVERS_PROP_LITERAL_EXPR_H
const literal_exprt & to_literal_expr(const exprt &expr)
Cast a generic exprt to a literal_exprt.
const irep_idt & id() const
API to expression classes.
bool has_operands() const
literalt get_literal() const
Base class for all expressions.
long long get_long_long(const irep_namet &name) const
literal_exprt(literalt a)
void set_literal(literalt a)
A generic base class for expressions that are predicates, i.e., boolean-typed.