Ssw_Sat_t_ Struct Reference

#include <sswInt.h>

Data Fields
Aig_Man_t *	pAig
int	fPolarFlip
sat_solver *	pSat
int	nSatVars
Vec_Int_t *	vSatVars
Vec_Ptr_t *	vFanins
Vec_Ptr_t *	vUsedPis
int	nSolverCalls

Detailed Description

Definition at line 143 of file sswInt.h.

Field Documentation

int Ssw_Sat_t_::fPolarFlip

Definition at line 146 of file sswInt.h.

int Ssw_Sat_t_::nSatVars

Definition at line 148 of file sswInt.h.

int Ssw_Sat_t_::nSolverCalls

Definition at line 152 of file sswInt.h.

Aig_Man_t* Ssw_Sat_t_::pAig

Definition at line 145 of file sswInt.h.

sat_solver* Ssw_Sat_t_::pSat

Definition at line 147 of file sswInt.h.

Vec_Ptr_t* Ssw_Sat_t_::vFanins

Definition at line 150 of file sswInt.h.

Vec_Int_t* Ssw_Sat_t_::vSatVars

Definition at line 149 of file sswInt.h.

Vec_Ptr_t* Ssw_Sat_t_::vUsedPis

Definition at line 151 of file sswInt.h.

---

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

• sswInt.h