Searched refs:BinaryClauseManager (Results 1 – 3 of 3) sorted by relevance
385 class BinaryClauseManager {387 BinaryClauseManager() {} in BinaryClauseManager() function410 DISALLOW_COPY_AND_ASSIGN(BinaryClauseManager);
705 BinaryClauseManager binary_clauses_;
239 sat::BinaryClauseManager binary_clause_manager_;