OR-Tools  8.2
DomainDeductions

Detailed Description

Definition at line 46 of file presolve_util.h.

Public Member Functions

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

Member Function Documentation

◆ AddDeduction()

void AddDeduction ( int  literal_ref,
int  var,
Domain  domain 
)

Definition at line 22 of file presolve_util.cc.

◆ MarkProcessingAsDoneForNow()

void MarkProcessingAsDoneForNow ( )
inline

Definition at line 66 of file presolve_util.h.

◆ NumDeductions()

int NumDeductions ( ) const
inline

Definition at line 71 of file presolve_util.h.

◆ ProcessClause()

std::vector< std::pair< int, Domain > > ProcessClause ( absl::Span< const int >  clause)

Definition at line 47 of file presolve_util.cc.


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