solver_factoryt::solvert Class Reference

#include <solver_factory.h>

Collaboration diagram for solver_factoryt::solvert:

Public Member Functions
	solvert (std::unique_ptr< stack_decision_proceduret > p)
	solvert (std::unique_ptr< stack_decision_proceduret > p1, std::unique_ptr< propt > p2)
	solvert (std::unique_ptr< stack_decision_proceduret > p1, std::unique_ptr< std::ofstream > p2)
	solvert (std::unique_ptr< boolbvt > p1, std::unique_ptr< propt > p2)
stack_decision_proceduret &	decision_procedure () const
boolbvt &	boolbv_decision_procedure () const

Private Attributes
std::unique_ptr< std::ofstream >	ofstream_ptr
std::unique_ptr< propt >	prop_ptr
std::unique_ptr< stack_decision_proceduret >	decision_procedure_ptr
std::unique_ptr< boolbvt >	decision_procedure_is_boolbvt_ptr

Detailed Description

Definition at line 38 of file solver_factory.h.

Constructor & Destructor Documentation

solvert() [1/4]

solver_factoryt::solvert::solvert ( std::unique_ptr< stack_decision_proceduret >  p )

explicit

Definition at line 48 of file solver_factory.cpp.

solvert() [2/4]

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

Definition at line 53 of file solver_factory.cpp.

solvert() [3/4]

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

Definition at line 60 of file solver_factory.cpp.

solvert() [4/4]

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

Definition at line 67 of file solver_factory.cpp.

Member Function Documentation

boolbv_decision_procedure()

boolbvt & solver_factoryt::solvert::boolbv_decision_procedure

(

)

const

Definition at line 85 of file solver_factory.cpp.

decision_procedure()

stack_decision_proceduret & solver_factoryt::solvert::decision_procedure

(

)

const

Definition at line 74 of file solver_factory.cpp.

Member Data Documentation

decision_procedure_is_boolbvt_ptr

std::unique_ptr<boolbvt> solver_factoryt::solvert::decision_procedure_is_boolbvt_ptr

private

Definition at line 58 of file solver_factory.h.

decision_procedure_ptr

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

private

Definition at line 57 of file solver_factory.h.

ofstream_ptr

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

private

Definition at line 55 of file solver_factory.h.

prop_ptr

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

private

Definition at line 56 of file solver_factory.h.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-checker/solver_factory.h
• /home/runner/work/cbmc/cbmc/src/goto-checker/solver_factory.cpp