cprover
cbmc_solverst::solvert Class Reference

#include <cbmc_solvers.h>

Collaboration diagram for cbmc_solverst::solvert:
[legend]

Public Member Functions

 solvert ()
 
 solvert (prop_convt *p)
 
 solvert (prop_convt *p1, propt *p2)
 
 solvert (prop_convt *p1, std::ofstream *p2)
 
prop_convtprop_conv () const
 
proptprop () 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< proptprop_ptr
 
std::unique_ptr< prop_convtprop_conv_ptr
 

Detailed Description

Definition at line 49 of file cbmc_solvers.h.

Constructor & Destructor Documentation

§ solvert() [1/4]

cbmc_solverst::solvert::solvert ( )
inline

Definition at line 52 of file cbmc_solvers.h.

§ solvert() [2/4]

cbmc_solverst::solvert::solvert ( prop_convt p)
inlineexplicit

Definition at line 56 of file cbmc_solvers.h.

§ solvert() [3/4]

cbmc_solverst::solvert::solvert ( prop_convt p1,
propt p2 
)
inline

Definition at line 60 of file cbmc_solvers.h.

§ solvert() [4/4]

cbmc_solverst::solvert::solvert ( prop_convt p1,
std::ofstream *  p2 
)
inline

Definition at line 66 of file cbmc_solvers.h.

Member Function Documentation

§ prop()

propt& cbmc_solverst::solvert::prop ( ) const
inline

Definition at line 78 of file cbmc_solvers.h.

References prop_ptr.

Referenced by cbmc_solverst::get_default().

§ prop_conv()

prop_convt& cbmc_solverst::solvert::prop_conv ( ) const
inline

Definition at line 72 of file cbmc_solvers.h.

References prop_conv_ptr.

Referenced by cbmc_parse_optionst::doit().

§ set_ofstream()

void cbmc_solverst::solvert::set_ofstream ( std::ofstream *  p)
inline

Definition at line 94 of file cbmc_solvers.h.

References ofstream_ptr.

§ set_prop()

void cbmc_solverst::solvert::set_prop ( propt p)
inline

Definition at line 89 of file cbmc_solvers.h.

References prop_ptr.

Referenced by cbmc_solverst::get_default().

§ set_prop_conv()

void cbmc_solverst::solvert::set_prop_conv ( prop_convt p)
inline

Definition at line 84 of file cbmc_solvers.h.

References prop_conv_ptr.

Referenced by cbmc_solverst::get_default().

Member Data Documentation

§ ofstream_ptr

std::unique_ptr<std::ofstream> cbmc_solverst::solvert::ofstream_ptr

Definition at line 100 of file cbmc_solvers.h.

Referenced by set_ofstream().

§ prop_conv_ptr

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

§ prop_ptr

std::unique_ptr<propt> cbmc_solverst::solvert::prop_ptr

Definition at line 101 of file cbmc_solvers.h.

Referenced by prop(), and set_prop().


The documentation for this class was generated from the following file: