operations_research::sat::DratWriter Class Reference

Detailed Description

Definition at line 32 of file drat_writer.h.

#include <drat_writer.h>

Public Member Functions
	DratWriter (bool in_binary_format, File *output)
	~DratWriter ()
void	AddClause (absl::Span< const Literal > clause)
void	DeleteClause (absl::Span< const Literal > clause)

Constructor & Destructor Documentation

DratWriter()

operations_research::sat::DratWriter::DratWriter ( bool in_binary_format, File * output )

inline

Definition at line 34 of file drat_writer.h.

~DratWriter()

operations_research::sat::DratWriter::~DratWriter

(

)

Definition at line 30 of file drat_writer.cc.

Member Function Documentation

AddClause()

void operations_research::sat::DratWriter::AddClause

(

absl::Span< const Literal >

clause

)

Definition at line 39 of file drat_writer.cc.

DeleteClause()

void operations_research::sat::DratWriter::DeleteClause

(

absl::Span< const Literal >

clause

)

Definition at line 43 of file drat_writer.cc.

---

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

• ortools/sat/drat_writer.h
• ortools/sat/drat_writer.cc