bitblast_conv.h File Reference

#include <solvers/smt/smt_solver.h>
#include <sat_iface.h>

Include dependency graph for bitblast_conv.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	bitblast_smt_sort
class	bitblast_smt_ast
class	bitblast_convt

Macros
#define	bitblast_sort_downcast(x)
#define	bitblast_ast_downcast(x)

Macro Definition Documentation

bitblast_ast_downcast

#define bitblast_ast_downcast

(

x

)

Value:

static_cast<const bitblast_smt_ast *>(x)

bitblast_sort_downcast

#define bitblast_sort_downcast

(

x

)

Value:

static_cast<const bitblast_smt_sort *>(x)