Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::LbTreeSearch Class Reference

Detailed Description

Definition at line 60 of file lb_tree_search.h.

#include <lb_tree_search.h>

Public Member Functions

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

Constructor & Destructor Documentation

◆ LbTreeSearch()

operations_research::sat::LbTreeSearch::LbTreeSearch ( Model * model)
explicit

Definition at line 53 of file lb_tree_search.cc.

Member Function Documentation

◆ Search()

SatSolver::Status operations_research::sat::LbTreeSearch::Search ( const std::function< void()> & feasible_solution_observer)

Definition at line 413 of file lb_tree_search.cc.


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