PostsolveClauses

Detailed Description

Definition at line 41 of file sat_inprocessing.h.

Public Member Functions
void	AddClauseWithSpecialLiteral (Literal literal, absl::Span< const Literal > clause)

Public Attributes
std::deque< std::vector< Literal > >	clauses

Member Function Documentation

AddClauseWithSpecialLiteral()

void AddClauseWithSpecialLiteral	(	Literal	literal,
		absl::Span< const Literal >	clause
	)

Definition at line 26 of file sat_inprocessing.cc.

Member Data Documentation

clauses

std::deque<std::vector<Literal> > clauses

Definition at line 47 of file sat_inprocessing.h.

---

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

• sat_inprocessing.h
• sat_inprocessing.cc