#include <wlc.h>

Public Attributes
int	nBitsAdd

int	nBitsMul

int	nBitsMux

int	nBitsFlop

int	nIterMax

int	nLimit

int	fXorOutput

int	fCheckClauses

int	fPushClauses

int	fMFFC

int	fPdra

int	fLoadTrace

int	fProofRefine

int	fHybrid

int	fCheckCombUnsat

int	fAbs2

int	fProofUsePPI

int	fUseBmc3

int	fShrinkAbs

int	fShrinkScratch

int	fVerbose

int	fPdrVerbose

int	RunId

int(*	pFuncStop )(int)

Detailed Description

Definition at line 179 of file wlc.h.

Member Data Documentation

◆ fAbs2

int Wlc_Par_t_::fAbs2

Definition at line 196 of file wlc.h.

◆ fCheckClauses

int Wlc_Par_t_::fCheckClauses

Definition at line 188 of file wlc.h.

◆ fCheckCombUnsat

int Wlc_Par_t_::fCheckCombUnsat

Definition at line 195 of file wlc.h.

◆ fHybrid

int Wlc_Par_t_::fHybrid

Definition at line 194 of file wlc.h.

◆ fLoadTrace

int Wlc_Par_t_::fLoadTrace

Definition at line 192 of file wlc.h.

◆ fMFFC

int Wlc_Par_t_::fMFFC

Definition at line 190 of file wlc.h.

◆ fPdra

int Wlc_Par_t_::fPdra

Definition at line 191 of file wlc.h.

◆ fPdrVerbose

int Wlc_Par_t_::fPdrVerbose

Definition at line 202 of file wlc.h.

◆ fProofRefine

int Wlc_Par_t_::fProofRefine

Definition at line 193 of file wlc.h.

◆ fProofUsePPI

int Wlc_Par_t_::fProofUsePPI

Definition at line 197 of file wlc.h.

◆ fPushClauses

int Wlc_Par_t_::fPushClauses

Definition at line 189 of file wlc.h.

◆ fShrinkAbs

int Wlc_Par_t_::fShrinkAbs

Definition at line 199 of file wlc.h.

◆ fShrinkScratch

int Wlc_Par_t_::fShrinkScratch

Definition at line 200 of file wlc.h.

◆ fUseBmc3

int Wlc_Par_t_::fUseBmc3

Definition at line 198 of file wlc.h.

◆ fVerbose

int Wlc_Par_t_::fVerbose

Definition at line 201 of file wlc.h.

◆ fXorOutput

int Wlc_Par_t_::fXorOutput

Definition at line 187 of file wlc.h.

◆ nBitsAdd

int Wlc_Par_t_::nBitsAdd

Definition at line 181 of file wlc.h.

◆ nBitsFlop

int Wlc_Par_t_::nBitsFlop

Definition at line 184 of file wlc.h.

◆ nBitsMul

int Wlc_Par_t_::nBitsMul

Definition at line 182 of file wlc.h.

◆ nBitsMux

int Wlc_Par_t_::nBitsMux

Definition at line 183 of file wlc.h.

◆ nIterMax

int Wlc_Par_t_::nIterMax

Definition at line 185 of file wlc.h.

◆ nLimit

int Wlc_Par_t_::nLimit

Definition at line 186 of file wlc.h.

◆ pFuncStop

int(* Wlc_Par_t_::pFuncStop) (int)

Definition at line 204 of file wlc.h.

◆ RunId

int Wlc_Par_t_::RunId

Definition at line 203 of file wlc.h.

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

src/base/wlc/wlc.h

Public Attributes