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

#include <xsatSolver.h>

Collaboration diagram for xSAT_Solver_t_:
Collaboration graph
[legend]

Public Attributes

xSAT_Mem_t * pMemory
 
Vec_Int_t * vLearnts
 
Vec_Int_t * vClauses
 
xSAT_VecWatchList_t * vWatches
 
xSAT_VecWatchList_t * vBinWatches
 
int nVarActInc
 
int nClaActInc
 
Vec_Int_t * vActivity
 
xSAT_Heap_t * hOrder
 
Vec_Int_t * vLevels
 
Vec_Int_t * vReasons
 
Vec_Str_t * vAssigns
 
Vec_Str_t * vPolarity
 
Vec_Str_t * vTags
 
Vec_Int_t * vTrail
 
Vec_Int_t * vTrailLim
 
int iQhead
 
int nAssignSimplify
 
iword nPropSimplify
 
xSAT_BQueue_t * bqTrail
 
xSAT_BQueue_t * bqLBD
 
float nSumLBD
 
int nConfBeforeReduce
 
long nRC1
 
int nRC2
 
Vec_Int_t * vLearntClause
 
Vec_Str_t * vSeen
 
Vec_Int_t * vTagged
 
Vec_Int_t * vStack
 
Vec_Int_t * vLastDLevel
 
unsigned nStamp
 
Vec_Int_t * vStamp
 
xSAT_SolverOptions_t Config
 
xSAT_Stats_t Stats
 

Detailed Description

Definition at line 117 of file xsatSolver.h.

Member Data Documentation

◆ bqLBD

xSAT_BQueue_t* xSAT_Solver_t_::bqLBD

Definition at line 151 of file xsatSolver.h.

◆ bqTrail

xSAT_BQueue_t* xSAT_Solver_t_::bqTrail

Definition at line 150 of file xsatSolver.h.

◆ Config

xSAT_SolverOptions_t xSAT_Solver_t_::Config

Definition at line 169 of file xsatSolver.h.

◆ hOrder

xSAT_Heap_t* xSAT_Solver_t_::hOrder

Definition at line 132 of file xsatSolver.h.

◆ iQhead

int xSAT_Solver_t_::iQhead

Definition at line 142 of file xsatSolver.h.

◆ nAssignSimplify

int xSAT_Solver_t_::nAssignSimplify

Definition at line 144 of file xsatSolver.h.

◆ nClaActInc

int xSAT_Solver_t_::nClaActInc

Definition at line 128 of file xsatSolver.h.

◆ nConfBeforeReduce

int xSAT_Solver_t_::nConfBeforeReduce

Definition at line 153 of file xsatSolver.h.

◆ nPropSimplify

iword xSAT_Solver_t_::nPropSimplify

Definition at line 146 of file xsatSolver.h.

◆ nRC1

long xSAT_Solver_t_::nRC1

Definition at line 154 of file xsatSolver.h.

◆ nRC2

int xSAT_Solver_t_::nRC2

Definition at line 155 of file xsatSolver.h.

◆ nStamp

unsigned xSAT_Solver_t_::nStamp

Definition at line 165 of file xsatSolver.h.

◆ nSumLBD

float xSAT_Solver_t_::nSumLBD

Definition at line 152 of file xsatSolver.h.

◆ nVarActInc

int xSAT_Solver_t_::nVarActInc

Definition at line 127 of file xsatSolver.h.

◆ pMemory

xSAT_Mem_t* xSAT_Solver_t_::pMemory

Definition at line 120 of file xsatSolver.h.

◆ Stats

xSAT_Stats_t xSAT_Solver_t_::Stats

Definition at line 170 of file xsatSolver.h.

◆ vActivity

Vec_Int_t* xSAT_Solver_t_::vActivity

Definition at line 131 of file xsatSolver.h.

◆ vAssigns

Vec_Str_t* xSAT_Solver_t_::vAssigns

Definition at line 135 of file xsatSolver.h.

◆ vBinWatches

xSAT_VecWatchList_t* xSAT_Solver_t_::vBinWatches

Definition at line 124 of file xsatSolver.h.

◆ vClauses

Vec_Int_t* xSAT_Solver_t_::vClauses

Definition at line 122 of file xsatSolver.h.

◆ vLastDLevel

Vec_Int_t* xSAT_Solver_t_::vLastDLevel

Definition at line 162 of file xsatSolver.h.

◆ vLearntClause

Vec_Int_t* xSAT_Solver_t_::vLearntClause

Definition at line 158 of file xsatSolver.h.

◆ vLearnts

Vec_Int_t* xSAT_Solver_t_::vLearnts

Definition at line 121 of file xsatSolver.h.

◆ vLevels

Vec_Int_t* xSAT_Solver_t_::vLevels

Definition at line 133 of file xsatSolver.h.

◆ vPolarity

Vec_Str_t* xSAT_Solver_t_::vPolarity

Definition at line 136 of file xsatSolver.h.

◆ vReasons

Vec_Int_t* xSAT_Solver_t_::vReasons

Definition at line 134 of file xsatSolver.h.

◆ vSeen

Vec_Str_t* xSAT_Solver_t_::vSeen

Definition at line 159 of file xsatSolver.h.

◆ vStack

Vec_Int_t* xSAT_Solver_t_::vStack

Definition at line 161 of file xsatSolver.h.

◆ vStamp

Vec_Int_t* xSAT_Solver_t_::vStamp

Definition at line 166 of file xsatSolver.h.

◆ vTagged

Vec_Int_t* xSAT_Solver_t_::vTagged

Definition at line 160 of file xsatSolver.h.

◆ vTags

Vec_Str_t* xSAT_Solver_t_::vTags

Definition at line 137 of file xsatSolver.h.

◆ vTrail

Vec_Int_t* xSAT_Solver_t_::vTrail

Definition at line 140 of file xsatSolver.h.

◆ vTrailLim

Vec_Int_t* xSAT_Solver_t_::vTrailLim

Definition at line 141 of file xsatSolver.h.

◆ vWatches

xSAT_VecWatchList_t* xSAT_Solver_t_::vWatches

Definition at line 123 of file xsatSolver.h.

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