operations_research::sat::DomainDeductions Class Reference

Detailed Description

Definition at line 50 of file presolve_util.h.

#include <presolve_util.h>

Public Member Functions
void	AddDeduction (int literal_ref, int var, Domain domain)
Domain	ImpliedDomain (int literal_ref, int var) const
std::vector< std::pair< int, Domain > >	ProcessClause (absl::Span< const int > clause)
void	MarkProcessingAsDoneForNow ()
int	NumDeductions () const

Member Function Documentation

AddDeduction()

void operations_research::sat::DomainDeductions::AddDeduction	(	int	literal_ref,
		int	var,
		Domain	domain )

Definition at line 43 of file presolve_util.cc.

ImpliedDomain()

Domain operations_research::sat::DomainDeductions::ImpliedDomain	(	int	literal_ref,
		int	var ) const

Definition at line 68 of file presolve_util.cc.

MarkProcessingAsDoneForNow()

void operations_research::sat::DomainDeductions::MarkProcessingAsDoneForNow ( )

inline

Definition at line 74 of file presolve_util.h.

NumDeductions()

int operations_research::sat::DomainDeductions::NumDeductions ( ) const

inline

Definition at line 79 of file presolve_util.h.

ProcessClause()

std::vector< std::pair< int, Domain > > operations_research::sat::DomainDeductions::ProcessClause

(

absl::Span< const int >

clause

)

Definition at line 76 of file presolve_util.cc.

---

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

• ortools/sat/presolve_util.h
• ortools/sat/presolve_util.cc