cprover
|
#include <bv_minimize.h>
Public Member Functions | |
bv_minimizet (boolbvt &_boolbv) | |
void | operator() (const minimization_listt &objectives) |
Protected Member Functions | |
void | add_objective (class prop_minimizet &prop_minimize, const exprt &objective) |
Protected Attributes | |
boolbvt & | boolbv |
Additional Inherited Members |
Definition at line 25 of file bv_minimize.h.
|
inlineexplicit |
Definition at line 28 of file bv_minimize.h.
|
protected |
Definition at line 15 of file bv_minimize.cpp.
References boolbv, boolbvt::convert_bv(), irept::id(), literalt::is_constant(), prop_minimizet::objective(), and exprt::type().
Referenced by operator()().
void bv_minimizet::operator() | ( | const minimization_listt & | objectives | ) |
Definition at line 57 of file bv_minimize.cpp.
References add_objective(), boolbv, messaget::get_message_handler(), and messaget::set_message_handler().
|
protected |
Definition at line 36 of file bv_minimize.h.
Referenced by add_objective(), and operator()().