![]() |
OR-Tools
8.2
|
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) |
|
inline |
Definition at line 38 of file drat_writer.h.
~DratWriter | ( | ) |
Definition at line 27 of file drat_writer.cc.
void AddClause | ( | absl::Span< const Literal > | clause | ) |
Definition at line 36 of file drat_writer.cc.
void DeleteClause | ( | absl::Span< const Literal > | clause | ) |
Definition at line 40 of file drat_writer.cc.