Open
Graph Drawing
Framework

 v. 2022.02 (Dogwood)
 

Minisat::Internal::Solver::SolverStatus Struct Reference

#include <ogdf/lib/minisat/core/Solver.h>

Public Attributes

AnswerType answer
 
unsigned long long int conflict_literals
 
unsigned long long int conflicts
 
unsigned long long int decisions
 
unsigned long long int propagations
 
unsigned long long int restarts
 
bool timeout
 

Detailed Description

Definition at line 61 of file Solver.h.

Member Data Documentation

◆ answer

AnswerType Minisat::Internal::Solver::SolverStatus::answer

Definition at line 68 of file Solver.h.

◆ conflict_literals

unsigned long long int Minisat::Internal::Solver::SolverStatus::conflict_literals

Definition at line 66 of file Solver.h.

◆ conflicts

unsigned long long int Minisat::Internal::Solver::SolverStatus::conflicts

Definition at line 63 of file Solver.h.

◆ decisions

unsigned long long int Minisat::Internal::Solver::SolverStatus::decisions

Definition at line 64 of file Solver.h.

◆ propagations

unsigned long long int Minisat::Internal::Solver::SolverStatus::propagations

Definition at line 65 of file Solver.h.

◆ restarts

unsigned long long int Minisat::Internal::Solver::SolverStatus::restarts

Definition at line 62 of file Solver.h.

◆ timeout

bool Minisat::Internal::Solver::SolverStatus::timeout

Definition at line 67 of file Solver.h.


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