Searched refs:num_implications (Results 1 – 7 of 7) sorted by relevance
134 int num_implications; member280 int num_implications() { return _stats.num_implications; } in num_implications() function
138 { return _solver->num_implications(); } in GetNumImplications()
89 _stats.num_implications = 0; in CSolver()303 ++_stats.num_implications ; in set_var_value()
132 << " num_implications: " << implication_graph_->num_implications() in PresolveLoop()200 << " num_implications: " << implication_graph_->num_implications() in InprocessingRound()587 if (implication_graph_->num_implications() == 0) return true; in DoOneRound()620 if (implication_graph_->num_implications() == 0) return true; in ComputeStampsForNextRound()
1073 int num_implications = 0; in AddSizeTwoTable() local1077 [context, &num_clause_added, &num_large_clause_added, &num_implications]( in AddSizeTwoTable()1083 num_implications++; in AddSizeTwoTable()1106 << num_large_clause_added << " large clauses, " << num_implications in AddSizeTwoTable()
636 int64_t num_implications() const { return num_implications_; } in num_implications() function
141 const bool init = binary_implication_graph_->num_implications() == 0; in AddClauseDuringSearch()1135 << binary_implication_graph_->num_implications(); in SolveInternal()1538 binary_implication_graph_->num_implications(), restart_->NumRestarts(), in RunningStatisticsString()