Cut_CutStruct_t_ Struct Reference

#include <cut.h>

Collaboration diagram for Cut_CutStruct_t_:

[legend]

Data Fields
unsigned	Num0: 11
unsigned	Num1: 11
unsigned	fSimul: 1
unsigned	fCompl: 1
unsigned	nVarsMax: 4
unsigned	nLeaves: 4
unsigned	uSign
unsigned	uCanon0
unsigned	uCanon1
Cut_Cut_t *	pNext
int	pLeaves [0]

---

Detailed Description

Definition at line 72 of file cut.h.

---

Field Documentation

unsigned Cut_CutStruct_t_::fCompl

Definition at line 77 of file cut.h.

unsigned Cut_CutStruct_t_::fSimul

Definition at line 76 of file cut.h.

unsigned Cut_CutStruct_t_::nLeaves

Definition at line 79 of file cut.h.

unsigned Cut_CutStruct_t_::Num0

Definition at line 74 of file cut.h.

unsigned Cut_CutStruct_t_::Num1

Definition at line 75 of file cut.h.

unsigned Cut_CutStruct_t_::nVarsMax

Definition at line 78 of file cut.h.

int Cut_CutStruct_t_::pLeaves[0]

Definition at line 84 of file cut.h.

Cut_Cut_t* Cut_CutStruct_t_::pNext

Definition at line 83 of file cut.h.

unsigned Cut_CutStruct_t_::uCanon0

Definition at line 81 of file cut.h.

unsigned Cut_CutStruct_t_::uCanon1

Definition at line 82 of file cut.h.

unsigned Cut_CutStruct_t_::uSign

Definition at line 80 of file cut.h.

---

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

• src/opt/cut/cut.h