Searched refs:DirectImplications (Results 1 – 3 of 3) sorted by relevance
1834 const std::vector<Literal>& BinaryImplicationGraph::DirectImplications( in DirectImplications() function in operations_research::sat::BinaryImplicationGraph1887 DirectImplications(literal.Negated()); in FindFailedLiteralAroundVar()1888 DirectImplications(literal); // Fill in_direct_implications_. in FindFailedLiteralAroundVar()1907 DirectImplications(literal.Negated()); in NumImplicationOnVariableRemoval()1908 const int64_t s1 = DirectImplications(literal).size(); in NumImplicationOnVariableRemoval()1926 DirectImplications(literal.Negated()); in RemoveBooleanVariable()1927 for (const Literal b : DirectImplications(literal)) { in RemoveBooleanVariable()
655 implication_graph_->DirectImplications(Literal(i).Negated()); in SampleTreeAndFillParent()973 implication_graph_->DirectImplications(current_literal); in ProcessLiteral()1319 implication_graph_->DirectImplications(lit); in ResolveAllClauseContaining()1520 implication_graph_->DirectImplications(lit).size() * (clause_weight + 2); in CrossProduct()1521 score += implication_graph_->DirectImplications(not_lit).size() * in CrossProduct()
688 const std::vector<Literal>& DirectImplications(Literal literal);