OR-Tools  8.2
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: