Detailed Description

Definition at line 440 of file sat_solver.h.

#include <sat_solver.h>

Public Attributes
int64_t	num_branches = 0
int64_t	num_failures = 0
int64_t	num_restarts = 0
int64_t	num_backtracks_to_root = 0
int64_t	num_backtracks = 0
int64_t	num_minimizations = 0
int64_t	num_literals_removed = 0
int64_t	num_learned_pb_literals = 0
int64_t	num_literals_learned = 0
int64_t	num_literals_forgotten = 0
int64_t	num_subsumed_clauses = 0
int64_t	num_cleanup_rounds = 0
int64_t	num_deleted_clauses = 0

Member Data Documentation

◆ num_backtracks

int64_t operations_research::sat::SatSolver::Counters::num_backtracks = 0

Definition at line 445 of file sat_solver.h.

◆ num_backtracks_to_root

int64_t operations_research::sat::SatSolver::Counters::num_backtracks_to_root = 0

Definition at line 444 of file sat_solver.h.

◆ num_branches

int64_t operations_research::sat::SatSolver::Counters::num_branches = 0

Definition at line 441 of file sat_solver.h.

◆ num_cleanup_rounds

int64_t operations_research::sat::SatSolver::Counters::num_cleanup_rounds = 0

Definition at line 458 of file sat_solver.h.

◆ num_deleted_clauses

int64_t operations_research::sat::SatSolver::Counters::num_deleted_clauses = 0

Definition at line 459 of file sat_solver.h.

◆ num_failures

int64_t operations_research::sat::SatSolver::Counters::num_failures = 0

Definition at line 442 of file sat_solver.h.

◆ num_learned_pb_literals

int64_t operations_research::sat::SatSolver::Counters::num_learned_pb_literals = 0

Definition at line 452 of file sat_solver.h.

◆ num_literals_forgotten

int64_t operations_research::sat::SatSolver::Counters::num_literals_forgotten = 0

Definition at line 456 of file sat_solver.h.

◆ num_literals_learned

int64_t operations_research::sat::SatSolver::Counters::num_literals_learned = 0

Definition at line 455 of file sat_solver.h.

◆ num_literals_removed

int64_t operations_research::sat::SatSolver::Counters::num_literals_removed = 0

Definition at line 449 of file sat_solver.h.

◆ num_minimizations

int64_t operations_research::sat::SatSolver::Counters::num_minimizations = 0

Definition at line 448 of file sat_solver.h.

◆ num_restarts

int64_t operations_research::sat::SatSolver::Counters::num_restarts = 0

Definition at line 443 of file sat_solver.h.

◆ num_subsumed_clauses

int64_t operations_research::sat::SatSolver::Counters::num_subsumed_clauses = 0

Definition at line 457 of file sat_solver.h.

The documentation for this struct was generated from the following file:

ortools/sat/sat_solver.h