cprover
|
#include <cbmc_solvers.h>
Public Member Functions | |
solvert () | |
solvert (prop_convt *p) | |
solvert (prop_convt *p1, propt *p2) | |
solvert (prop_convt *p1, std::ofstream *p2) | |
prop_convt & | prop_conv () const |
propt & | prop () const |
void | set_prop_conv (prop_convt *p) |
void | set_prop (propt *p) |
void | set_ofstream (std::ofstream *p) |
Public Attributes | |
std::unique_ptr< std::ofstream > | ofstream_ptr |
std::unique_ptr< propt > | prop_ptr |
std::unique_ptr< prop_convt > | prop_conv_ptr |
Definition at line 49 of file cbmc_solvers.h.
|
inline |
Definition at line 52 of file cbmc_solvers.h.
|
inlineexplicit |
Definition at line 56 of file cbmc_solvers.h.
|
inline |
Definition at line 60 of file cbmc_solvers.h.
|
inline |
Definition at line 66 of file cbmc_solvers.h.
|
inline |
Definition at line 78 of file cbmc_solvers.h.
References prop_ptr.
Referenced by cbmc_solverst::get_default().
|
inline |
Definition at line 72 of file cbmc_solvers.h.
References prop_conv_ptr.
Referenced by cbmc_parse_optionst::doit().
|
inline |
Definition at line 94 of file cbmc_solvers.h.
References ofstream_ptr.
|
inline |
Definition at line 89 of file cbmc_solvers.h.
References prop_ptr.
Referenced by cbmc_solverst::get_default().
|
inline |
Definition at line 84 of file cbmc_solvers.h.
References prop_conv_ptr.
Referenced by cbmc_solverst::get_default().
std::unique_ptr<std::ofstream> cbmc_solverst::solvert::ofstream_ptr |
Definition at line 100 of file cbmc_solvers.h.
Referenced by set_ofstream().
std::unique_ptr<prop_convt> cbmc_solverst::solvert::prop_conv_ptr |
Definition at line 102 of file cbmc_solvers.h.
Referenced by prop_conv(), and set_prop_conv().
std::unique_ptr<propt> cbmc_solverst::solvert::prop_ptr |
Definition at line 101 of file cbmc_solvers.h.
Referenced by prop(), and set_prop().