cprover
literal_expr.h File Reference
#include <util/std_expr.h>
#include "literal.h"
Include dependency graph for literal_expr.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  literal_exprt
 

Functions

const literal_exprtto_literal_expr (const exprt &expr)
 Cast a generic exprt to a literal_exprt. More...
 
literal_exprtto_literal_expr (exprt &expr)
 Cast a generic exprt to a literal_exprt. More...