ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Msat_SolverStats_t_ Struct Reference

#include <msatInt.h>

Public Attributes

ABC_INT64_T nStarts
 
ABC_INT64_T nDecisions
 
ABC_INT64_T nPropagations
 
ABC_INT64_T nInspects
 
ABC_INT64_T nConflicts
 
ABC_INT64_T nSuccesses
 

Detailed Description

Definition at line 79 of file msatInt.h.

Member Data Documentation

◆ nConflicts

ABC_INT64_T Msat_SolverStats_t_::nConflicts

Definition at line 85 of file msatInt.h.

◆ nDecisions

ABC_INT64_T Msat_SolverStats_t_::nDecisions

Definition at line 82 of file msatInt.h.

◆ nInspects

ABC_INT64_T Msat_SolverStats_t_::nInspects

Definition at line 84 of file msatInt.h.

◆ nPropagations

ABC_INT64_T Msat_SolverStats_t_::nPropagations

Definition at line 83 of file msatInt.h.

◆ nStarts

ABC_INT64_T Msat_SolverStats_t_::nStarts

Definition at line 81 of file msatInt.h.

◆ nSuccesses

ABC_INT64_T Msat_SolverStats_t_::nSuccesses

Definition at line 86 of file msatInt.h.

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