abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Cut_CutStruct_t_ Struct Reference

#include <cut.h>

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_tpNext
 
int pLeaves [0]
 

Detailed Description

Definition at line 77 of file cut.h.

Field Documentation

unsigned Cut_CutStruct_t_::fCompl

Definition at line 82 of file cut.h.

unsigned Cut_CutStruct_t_::fSimul

Definition at line 81 of file cut.h.

unsigned Cut_CutStruct_t_::nLeaves

Definition at line 84 of file cut.h.

unsigned Cut_CutStruct_t_::Num0

Definition at line 79 of file cut.h.

unsigned Cut_CutStruct_t_::Num1

Definition at line 80 of file cut.h.

unsigned Cut_CutStruct_t_::nVarsMax

Definition at line 83 of file cut.h.

int Cut_CutStruct_t_::pLeaves[0]

Definition at line 89 of file cut.h.

Cut_Cut_t* Cut_CutStruct_t_::pNext

Definition at line 88 of file cut.h.

unsigned Cut_CutStruct_t_::uCanon0

Definition at line 86 of file cut.h.

unsigned Cut_CutStruct_t_::uCanon1

Definition at line 87 of file cut.h.

unsigned Cut_CutStruct_t_::uSign

Definition at line 85 of file cut.h.


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