cprover
solver_factoryt::solvert Class Reference

#include <solver_factory.h>

+ Collaboration diagram for solver_factoryt::solvert:

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 46 of file solver_factory.h.

Constructor & Destructor Documentation

◆ solvert() [1/4]

solver_factoryt::solvert::solvert ( )
inline

Definition at line 49 of file solver_factory.h.

◆ solvert() [2/4]

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

Definition at line 53 of file solver_factory.h.

◆ solvert() [3/4]

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

Definition at line 58 of file solver_factory.h.

◆ solvert() [4/4]

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

Definition at line 63 of file solver_factory.h.

Member Function Documentation

◆ prop()

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

Definition at line 74 of file solver_factory.h.

◆ prop_conv()

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

Definition at line 68 of file solver_factory.h.

◆ set_ofstream()

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

Definition at line 90 of file solver_factory.h.

◆ set_prop()

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

Definition at line 85 of file solver_factory.h.

◆ set_prop_conv()

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

Definition at line 80 of file solver_factory.h.

Member Data Documentation

◆ ofstream_ptr

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

Definition at line 96 of file solver_factory.h.

◆ prop_conv_ptr

std::unique_ptr<prop_convt> solver_factoryt::solvert::prop_conv_ptr

Definition at line 98 of file solver_factory.h.

◆ prop_ptr

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

Definition at line 97 of file solver_factory.h.


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