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:

• drat_writer.h
• drat_writer.cc