operations_research::sat::SubsolverNameFilter Class Reference

Detailed Description

Definition at line 135 of file cp_model_search.h.

#include <cp_model_search.h>

Public Member Functions
	SubsolverNameFilter (const SatParameters &params)
bool	Keep (absl::string_view name)
std::vector< SatParameters >	Filter (absl::Span< const SatParameters > input)
std::string	LastName () const
const std::vector< std::string > &	AllIgnored ()

Constructor & Destructor Documentation

SubsolverNameFilter()

operations_research::sat::SubsolverNameFilter::SubsolverNameFilter ( const SatParameters & params )

explicit

Definition at line 1127 of file cp_model_search.cc.

Member Function Documentation

AllIgnored()

const std::vector< std::string > & operations_research::sat::SubsolverNameFilter::AllIgnored ( )

inline

Definition at line 160 of file cp_model_search.h.

Filter()

std::vector< SatParameters > operations_research::sat::SubsolverNameFilter::Filter ( absl::Span< const SatParameters > input )

inline

Definition at line 144 of file cp_model_search.h.

Keep()

bool operations_research::sat::SubsolverNameFilter::Keep

(

absl::string_view

name

)

Definition at line 1149 of file cp_model_search.cc.

LastName()

std::string operations_research::sat::SubsolverNameFilter::LastName ( ) const

inline

Definition at line 157 of file cp_model_search.h.

---

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

• ortools/sat/cp_model_search.h
• ortools/sat/cp_model_search.cc