Cut_ParamsStruct_t_ Struct Reference

#include <cut.h>

Data Fields
int	nVarsMax
int	nKeepMax
int	nIdsMax
int	nBitShift
int	nCutSet
int	fTruth
int	fFilter
int	fSeq
int	fDrop
int	fDag
int	fTree
int	fGlobal
int	fLocal
int	fRecord
int	fFancy
int	fMap
int	fVerbose

---

Detailed Description

Definition at line 51 of file cut.h.

---

Field Documentation

int Cut_ParamsStruct_t_::fDag

Definition at line 62 of file cut.h.

int Cut_ParamsStruct_t_::fDrop

Definition at line 61 of file cut.h.

int Cut_ParamsStruct_t_::fFancy

Definition at line 67 of file cut.h.

int Cut_ParamsStruct_t_::fFilter

Definition at line 59 of file cut.h.

int Cut_ParamsStruct_t_::fGlobal

Definition at line 64 of file cut.h.

int Cut_ParamsStruct_t_::fLocal

Definition at line 65 of file cut.h.

int Cut_ParamsStruct_t_::fMap

Definition at line 68 of file cut.h.

int Cut_ParamsStruct_t_::fRecord

Definition at line 66 of file cut.h.

int Cut_ParamsStruct_t_::fSeq

Definition at line 60 of file cut.h.

int Cut_ParamsStruct_t_::fTree

Definition at line 63 of file cut.h.

int Cut_ParamsStruct_t_::fTruth

Definition at line 58 of file cut.h.

int Cut_ParamsStruct_t_::fVerbose

Definition at line 69 of file cut.h.

int Cut_ParamsStruct_t_::nBitShift

Definition at line 56 of file cut.h.

int Cut_ParamsStruct_t_::nCutSet

Definition at line 57 of file cut.h.

int Cut_ParamsStruct_t_::nIdsMax

Definition at line 55 of file cut.h.

int Cut_ParamsStruct_t_::nKeepMax

Definition at line 54 of file cut.h.

int Cut_ParamsStruct_t_::nVarsMax

Definition at line 53 of file cut.h.

---

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

• src/opt/cut/cut.h