CBMC
Public Member Functions | Public Attributes | List of all members
solver_factoryt::solvert Class Referencefinal

#include <solver_factory.h>

+ Collaboration diagram for solver_factoryt::solvert:

Public Member Functions

 solvert ()=default
 
 solvert (std::unique_ptr< decision_proceduret > p)
 
 solvert (std::unique_ptr< decision_proceduret > p1, std::unique_ptr< propt > p2)
 
 solvert (std::unique_ptr< decision_proceduret > p1, std::unique_ptr< std::ofstream > p2)
 
decision_proceduret & decision_procedure () const
 
stack_decision_proceduret & stack_decision_procedure () const
 
propt & prop () const
 
void set_decision_procedure (std::unique_ptr< decision_proceduret > 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< decision_proceduret > decision_procedure_ptr
 

Detailed Description

Definition at line 39 of file solver_factory.h.

Constructor & Destructor Documentation

◆ solvert() [1/4]

solver_factoryt::solvert::solvert ( )
default

◆ solvert() [2/4]

solver_factoryt::solvert::solvert ( std::unique_ptr< decision_proceduret >  p)
explicit

Definition at line 54 of file solver_factory.cpp.

◆ solvert() [3/4]

solver_factoryt::solvert::solvert ( std::unique_ptr< decision_proceduret >  p1,
std::unique_ptr< propt >  p2 
)

Definition at line 59 of file solver_factory.cpp.

◆ solvert() [4/4]

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

Definition at line 66 of file solver_factory.cpp.

Member Function Documentation

◆ decision_procedure()

decision_proceduret & solver_factoryt::solvert::decision_procedure ( ) const

Definition at line 73 of file solver_factory.cpp.

◆ prop()

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

Definition at line 89 of file solver_factory.cpp.

◆ set_decision_procedure()

void solver_factoryt::solvert::set_decision_procedure ( std::unique_ptr< decision_proceduret >  p)

Definition at line 118 of file solver_factory.cpp.

◆ set_ofstream()

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

Definition at line 129 of file solver_factory.cpp.

◆ set_prop()

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

Definition at line 124 of file solver_factory.cpp.

◆ stack_decision_procedure()

stack_decision_proceduret & solver_factoryt::solvert::stack_decision_procedure ( ) const

Definition at line 80 of file solver_factory.cpp.

Member Data Documentation

◆ decision_procedure_ptr

std::unique_ptr<decision_proceduret> solver_factoryt::solvert::decision_procedure_ptr

Definition at line 60 of file solver_factory.h.

◆ ofstream_ptr

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

Definition at line 58 of file solver_factory.h.

◆ prop_ptr

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

Definition at line 59 of file solver_factory.h.

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