#include <solver_factory.h>

Collaboration diagram for solver_factoryt::solvert:

Public Member Functions
	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

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

Constructor & Destructor Documentation

◆ solvert() [1/3]

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

explicit

Definition at line 49 of file solver_factory.cpp.

◆ solvert() [2/3]

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

Definition at line 54 of file solver_factory.cpp.

◆ solvert() [3/3]

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

Definition at line 61 of file solver_factory.cpp.

Member Function Documentation

◆ decision_procedure()

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

Definition at line 68 of file solver_factory.cpp.

◆ set_decision_procedure()

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

Definition at line 107 of file solver_factory.cpp.

◆ set_ofstream()

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

Definition at line 118 of file solver_factory.cpp.

◆ set_prop()

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

Definition at line 113 of file solver_factory.cpp.

◆ stack_decision_procedure()

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

Definition at line 75 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 57 of file solver_factory.h.

◆ ofstream_ptr

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

Definition at line 55 of file solver_factory.h.

◆ prop_ptr

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

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

Public Member Functions

Public Attributes