operations_research::sat::Prober Member List

This is the complete list of members for operations_research::sat::Prober, including all inherited members.

DnfType enum name	operations_research::sat::Prober
kAtLeastOne enum value	operations_research::sat::Prober
kAtLeastOneCombination enum value	operations_research::sat::Prober
kAtLeastOneOrZero enum value	operations_research::sat::Prober
num_decisions() const	operations_research::sat::Prober	inline
num_new_binary_clauses() const	operations_research::sat::Prober	inline
num_new_literals_fixed() const	operations_research::sat::Prober	inline
ProbeBooleanVariables(double deterministic_time_limit)	operations_research::sat::Prober
ProbeBooleanVariables(double deterministic_time_limit, absl::Span< const BooleanVariable > bool_vars)	operations_research::sat::Prober
ProbeDnf(absl::string_view name, absl::Span< const std::vector< Literal > > dnf, DnfType type, const SatClause *dnf_clause=nullptr)	operations_research::sat::Prober
ProbeOneVariable(BooleanVariable b)	operations_research::sat::Prober
Prober(Model *model)	operations_research::sat::Prober	explicit
SetPropagationCallback(std::function< void(Literal decision)> f)	operations_research::sat::Prober	inline
~Prober()	operations_research::sat::Prober