OR-Tools  9.6
Public Member Functions | List of all members
DomainDeductions

Detailed Description

Definition at line 53 of file 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 AddDeduction ( int  literal_ref,
int  var,
Domain  domain 
)

Definition at line 38 of file presolve_util.cc.

◆ ImpliedDomain()

Domain ImpliedDomain ( int  literal_ref,
int  var 
) const

Definition at line 63 of file presolve_util.cc.

◆ MarkProcessingAsDoneForNow()

void MarkProcessingAsDoneForNow ( )
inline

Definition at line 77 of file presolve_util.h.

◆ NumDeductions()

int NumDeductions ( ) const
inline

Definition at line 82 of file presolve_util.h.

◆ ProcessClause()

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

Definition at line 71 of file presolve_util.cc.

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