cprover
cbmc_solverst::solvert Class Reference

#include <cbmc_solvers.h>

Collaboration diagram for cbmc_solverst::solvert:
[legend]

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_convtprop_conv () const
 
proptprop () 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< proptprop_ptr
 
std::unique_ptr< prop_convtprop_conv_ptr
 

Detailed Description

Definition at line 48 of file cbmc_solvers.h.

Constructor & Destructor Documentation

◆ solvert() [1/4]

cbmc_solverst::solvert::solvert ( )
inline

Definition at line 51 of file cbmc_solvers.h.

◆ solvert() [2/4]

cbmc_solverst::solvert::solvert ( std::unique_ptr< prop_convt p)
inlineexplicit

Definition at line 55 of file cbmc_solvers.h.

◆ solvert() [3/4]

cbmc_solverst::solvert::solvert ( std::unique_ptr< prop_convt p1,
std::unique_ptr< propt p2 
)
inline

Definition at line 59 of file cbmc_solvers.h.

◆ solvert() [4/4]

cbmc_solverst::solvert::solvert ( std::unique_ptr< prop_convt p1,
std::unique_ptr< std::ofstream >  p2 
)
inline

Definition at line 65 of file cbmc_solvers.h.

Member Function Documentation

◆ prop()

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

Definition at line 77 of file cbmc_solvers.h.

References prop_ptr.

◆ prop_conv()

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

Definition at line 71 of file cbmc_solvers.h.

References prop_conv_ptr.

Referenced by bmct::do_language_agnostic_bmc().

◆ set_ofstream()

void cbmc_solverst::solvert::set_ofstream ( std::unique_ptr< std::ofstream >  p)
inline

Definition at line 93 of file cbmc_solvers.h.

References ofstream_ptr.

◆ set_prop()

void cbmc_solverst::solvert::set_prop ( std::unique_ptr< propt p)
inline

Definition at line 88 of file cbmc_solvers.h.

References prop_ptr.

◆ set_prop_conv()

void cbmc_solverst::solvert::set_prop_conv ( std::unique_ptr< prop_convt p)
inline

Definition at line 83 of file cbmc_solvers.h.

References prop_conv_ptr.

Member Data Documentation

◆ ofstream_ptr

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

Definition at line 99 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 101 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 100 of file cbmc_solvers.h.

Referenced by prop(), and set_prop().


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