ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
heap Struct Reference

#include <heap.h>

Public Attributes

bool tainted
 
unsigned vars
 
unsigned size
 
unsigneds stack
 
double * score
 
unsigned * pos
 

Detailed Description

Definition at line 19 of file heap.h.

Member Data Documentation

◆ pos

unsigned* heap::pos

Definition at line 25 of file heap.h.

◆ score

double* heap::score

Definition at line 24 of file heap.h.

◆ size

unsigned heap::size

Definition at line 22 of file heap.h.

◆ stack

unsigneds heap::stack

Definition at line 23 of file heap.h.

◆ tainted

bool heap::tainted

Definition at line 20 of file heap.h.

◆ vars

unsigned heap::vars

Definition at line 21 of file heap.h.

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