Searched refs:direct_implications_of_negated_literal_ (Results 1 – 2 of 2) sorted by relevance
1886 direct_implications_of_negated_literal_ = in FindFailedLiteralAroundVar()1889 for (const Literal l : direct_implications_of_negated_literal_) { in FindFailedLiteralAroundVar()1906 direct_implications_of_negated_literal_ = in NumImplicationOnVariableRemoval()1909 for (const Literal l : direct_implications_of_negated_literal_) { in NumImplicationOnVariableRemoval()1925 direct_implications_of_negated_literal_ = in RemoveBooleanVariable()1929 for (const Literal a_negated : direct_implications_of_negated_literal_) { in RemoveBooleanVariable()1934 for (const Literal a_negated : direct_implications_of_negated_literal_) { in RemoveBooleanVariable()1946 for (const Literal a_negated : direct_implications_of_negated_literal_) { in RemoveBooleanVariable()
820 std::vector<Literal> direct_implications_of_negated_literal_; variable