cprover
|
#include <cbmc_solvers.h>
Public Member Functions | |
solvert () | |
solvert (std::unique_ptr< prop_convt > p) | |
solvert (std::unique_ptr< prop_convt > p1, std::unique_ptr< propt > p2) | |
solvert (std::unique_ptr< prop_convt > p1, std::unique_ptr< std::ofstream > p2) | |
prop_convt & | prop_conv () const |
propt & | prop () const |
void | set_prop_conv (std::unique_ptr< prop_convt > p) |
void | set_prop (std::unique_ptr< propt > p) |
void | set_ofstream (std::unique_ptr< 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.
|
inline |
Definition at line 72 of file cbmc_solvers.h.
References prop_conv_ptr.
Referenced by bmct::do_language_agnostic_bmc().
|
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.
|
inline |
Definition at line 84 of file cbmc_solvers.h.
References prop_conv_ptr.
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().