operations_research::sat::IntegerConflictResolution Class Reference

Detailed Description

Definition at line 44 of file integer_resolution.h.

#include <integer_resolution.h>

Public Member Functions
	IntegerConflictResolution (Model *model)
	~IntegerConflictResolution ()
void	ComputeFirstUIPConflict (std::vector< Literal > *conflict, std::vector< Literal > *reason_used_to_infer_the_conflict, std::vector< SatClause * > *subsumed_clauses)

Constructor & Destructor Documentation

IntegerConflictResolution()

operations_research::sat::IntegerConflictResolution::IntegerConflictResolution ( Model * model )

explicit

Definition at line 37 of file integer_resolution.cc.

~IntegerConflictResolution()

operations_research::sat::IntegerConflictResolution::~IntegerConflictResolution

(

)

Definition at line 56 of file integer_resolution.cc.

Member Function Documentation

ComputeFirstUIPConflict()

void operations_research::sat::IntegerConflictResolution::ComputeFirstUIPConflict	(	std::vector< Literal > *	conflict,
		std::vector< Literal > *	reason_used_to_infer_the_conflict,
		std::vector< SatClause * > *	subsumed_clauses )

Definition at line 309 of file integer_resolution.cc.

---

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

• ortools/sat/integer_resolution.h
• ortools/sat/integer_resolution.cc