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:

• presolve_util.h
• presolve_util.cc