bv_minimize.h File Reference

SAT-optimizer for minimizing expressions. More...

#include <solvers/flattening/bv_pointers.h>
#include <solvers/sat/satcheck.h>

Include dependency graph for bv_minimize.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	bv_minimizet
class	bv_minimizing_dect

Typedefs
typedef std::set< exprt >	minimization_listt

Detailed Description

SAT-optimizer for minimizing expressions.

Definition in file bv_minimize.h.

Typedef Documentation

minimization_listt

typedef std::set<exprt> minimization_listt

Definition at line 23 of file bv_minimize.h.