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... | |