#include <cut.h>

Collaboration diagram for Cut_CutStruct_t_:

Public Attributes
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 77 of file cut.h.

Member Data Documentation

◆ fCompl

unsigned Cut_CutStruct_t_::fCompl

Definition at line 82 of file cut.h.

◆ fSimul

unsigned Cut_CutStruct_t_::fSimul

Definition at line 81 of file cut.h.

◆ nLeaves

unsigned Cut_CutStruct_t_::nLeaves

Definition at line 84 of file cut.h.

◆ Num0

unsigned Cut_CutStruct_t_::Num0

Definition at line 79 of file cut.h.

◆ Num1

unsigned Cut_CutStruct_t_::Num1

Definition at line 80 of file cut.h.

◆ nVarsMax

unsigned Cut_CutStruct_t_::nVarsMax

Definition at line 83 of file cut.h.

◆ pLeaves

int Cut_CutStruct_t_::pLeaves[0]

Definition at line 89 of file cut.h.

◆ pNext

Cut_Cut_t* Cut_CutStruct_t_::pNext

Definition at line 88 of file cut.h.

◆ uCanon0

unsigned Cut_CutStruct_t_::uCanon0

Definition at line 86 of file cut.h.

◆ uCanon1

unsigned Cut_CutStruct_t_::uCanon1

Definition at line 87 of file cut.h.

◆ uSign

unsigned Cut_CutStruct_t_::uSign

Definition at line 85 of file cut.h.

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

src/opt/cut/cut.h

Public Attributes