cprover
|
Go to the source code of this file.
Classes | |
class | literal_exprt |
Functions | |
const literal_exprt & | to_literal_expr (const exprt &expr) |
Cast a generic exprt to a literal_exprt. More... | |
literal_exprt & | to_literal_expr (exprt &expr) |
Cast a generic exprt to a literal_exprt. More... | |
|
inline |
Cast a generic exprt to a literal_exprt.
This is an unchecked conversion. expr must be known to be literal_exprt.
expr | Source expression |
Definition at line 49 of file literal_expr.h.
References exprt::has_operands(), and irept::id().
Referenced by smt2_convt::convert(), prop_conv_solvert::convert_bool(), and smt2_convt::convert_expr().
|
inline |
Cast a generic exprt to a literal_exprt.
This is an unchecked conversion. expr must be known to be literal_exprt.
expr | Source expression |
Definition at line 58 of file literal_expr.h.
References exprt::has_operands(), and irept::id().