Optimizer Class Reference

List of all members.

Public Member Functions
	Optimizer (CNode *c, Term *cost_fn, bool min, long int bound, int num_iterations=-1)
long int	get_optimal_cost ()
const map< Term *, SatValue > &	get_assignment ()
string	get_stats ()

---

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

• solver/Optimizer.h
• solver/Optimizer.cpp