![]() |
OR-Tools
8.2
|
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 |
Definition at line 26 of file sat_inprocessing.cc.
std::deque<std::vector<Literal> > clauses |
Definition at line 47 of file sat_inprocessing.h.