ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
vecQue.h File Reference
#include <stdio.h>
Include dependency graph for vecQue.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  Vec_Que_t_
 

Typedefs

typedef typedefABC_NAMESPACE_HEADER_START struct Vec_Que_t_ Vec_Que_t
 INCLUDES ///.
 

Typedef Documentation

◆ Vec_Que_t

typedef typedefABC_NAMESPACE_HEADER_START struct Vec_Que_t_ Vec_Que_t

INCLUDES ///.

CFile****************************************************************

FileName [vecQue.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Resizable arrays.]

Synopsis [Priority queue.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id
vecQue.h,v 1.00 2005/06/20 00:00:00 alanmi Exp

] PARAMETERS /// BASIC TYPES ///

Definition at line 40 of file vecQue.h.