OR-Tools  8.2
DratWriter

Detailed Description

Definition at line 36 of file 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()

DratWriter ( bool  in_binary_format,
File output 
)
inline

Definition at line 38 of file drat_writer.h.

◆ ~DratWriter()

~DratWriter ( )

Definition at line 27 of file drat_writer.cc.

Member Function Documentation

◆ AddClause()

void AddClause ( absl::Span< const Literal clause)

Definition at line 36 of file drat_writer.cc.

◆ DeleteClause()

void DeleteClause ( absl::Span< const Literal clause)

Definition at line 40 of file drat_writer.cc.


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