Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::LratEquivalenceHelper Member List

This is the complete list of members for operations_research::sat::LratEquivalenceHelper, including all inherited members.

ComputeImplicationChain(Literal a, Literal b, util_intops::StrongVector< LiteralIndex, LiteralIndex > &parents, std::vector< ClauseId > &clause_ids)operations_research::sat::LratEquivalenceHelperinline
FixAllLiteralsInComponent(LiteralIndex fixed_literal, bool all_true)operations_research::sat::LratEquivalenceHelperinline
LratEquivalenceHelper(BinaryImplicationGraph *graph)operations_research::sat::LratEquivalenceHelperinlineexplicit
NewComponent(absl::Span< const int32_t > component)operations_research::sat::LratEquivalenceHelperinline
ProcessComponent(LiteralIndex representative)operations_research::sat::LratEquivalenceHelperinline
ProcessSingletonComponent()operations_research::sat::LratEquivalenceHelperinline
ProcessUnsatComponent(Literal literal, Literal representative)operations_research::sat::LratEquivalenceHelperinline