LbTreeSearch

Detailed Description

Definition at line 57 of file lb_tree_search.h.

Public Member Functions
	LbTreeSearch (Model *model)
SatSolver::Status	Search (const std::function< void()> &feasible_solution_observer)

Constructor & Destructor Documentation

LbTreeSearch()

LbTreeSearch ( Model *  model )

explicit

Definition at line 48 of file lb_tree_search.cc.

Member Function Documentation

Search()

SatSolver::Status Search

(

const std::function< void()> &

feasible_solution_observer

)

Definition at line 206 of file lb_tree_search.cc.

---

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

• lb_tree_search.h
• lb_tree_search.cc