bv_minimizet Class Reference

#include <bv_minimize.h>

Collaboration diagram for bv_minimizet:

Public Member Functions
	bv_minimizet (boolbvt &_boolbv, message_handlert &message_handler)
void	operator() (const minimization_listt &objectives)

Protected Member Functions
void	add_objective (class prop_minimizet &prop_minimize, const exprt &objective)

Protected Attributes
boolbvt &	boolbv
messaget	log

Detailed Description

Definition at line 25 of file bv_minimize.h.

Constructor & Destructor Documentation

bv_minimizet()

bv_minimizet::bv_minimizet ( boolbvt &  _boolbv, message_handlert &  message_handler  )

inline

Definition at line 28 of file bv_minimize.h.

Member Function Documentation

add_objective()

void bv_minimizet::add_objective ( class prop_minimizet &  prop_minimize, const exprt &  objective  )

protected

Definition at line 13 of file bv_minimize.cpp.

operator()()

void bv_minimizet::operator()

(

const minimization_listt &

objectives

)

Definition at line 55 of file bv_minimize.cpp.

Member Data Documentation

boolbv

boolbvt& bv_minimizet::boolbv

protected

Definition at line 36 of file bv_minimize.h.

log

messaget bv_minimizet::log

protected

Definition at line 37 of file bv_minimize.h.

---

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

• /home/runner/work/cbmc/cbmc/src/solvers/flattening/bv_minimize.h
• /home/runner/work/cbmc/cbmc/src/solvers/flattening/bv_minimize.cpp