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 44 of file literal_expr.h.
|
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 54 of file literal_expr.h.