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

#include <darInt.h>

Data Fields

unsigned uSign
 
unsigned uTruth: 16
 
unsigned Value: 11
 
unsigned fBest: 1
 
unsigned fUsed: 1
 
unsigned nLeaves: 3
 
int pLeaves [4]
 

Detailed Description

Definition at line 55 of file darInt.h.

Field Documentation

unsigned Dar_Cut_t_::fBest

Definition at line 60 of file darInt.h.

unsigned Dar_Cut_t_::fUsed

Definition at line 61 of file darInt.h.

unsigned Dar_Cut_t_::nLeaves

Definition at line 62 of file darInt.h.

int Dar_Cut_t_::pLeaves[4]

Definition at line 63 of file darInt.h.

unsigned Dar_Cut_t_::uSign

Definition at line 57 of file darInt.h.

unsigned Dar_Cut_t_::uTruth

Definition at line 58 of file darInt.h.

unsigned Dar_Cut_t_::Value

Definition at line 59 of file darInt.h.


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