miniaig.h File Reference

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <assert.h>

Include dependency graph for miniaig.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	Mini_Aig_t_

Macros
#define	MINI_AIG_NULL   (0x7FFFFFFF)
	INCLUDES ///.
#define	MINI_AIG_START_SIZE   (0x000000FF)
#define	MINI_AIG_ALLOC(type, num)
	MACRO DEFINITIONS ///.
#define	MINI_AIG_CALLOC(type, num)
#define	MINI_AIG_FALLOC(type, num)
#define	MINI_AIG_FREE(obj)
#define	MINI_AIG_REALLOC(type, obj, num)
#define	Mini_AigForEachPi(p, i)
#define	Mini_AigForEachPo(p, i)
#define	Mini_AigForEachAnd(p, i)

Typedefs
typedef struct Mini_Aig_t_	Mini_Aig_t
	BASIC TYPES ///.

Macro Definition Documentation

MINI_AIG_ALLOC

#define MINI_AIG_ALLOC	(		type,
			num )

Value:

((type *) malloc(sizeof(type) * (num)))

MACRO DEFINITIONS ///.

Definition at line 62 of file miniaig.h.

MINI_AIG_CALLOC

#define MINI_AIG_CALLOC	(		type,
			num )

Value:

((type *) calloc((num), sizeof(type)))

Definition at line 63 of file miniaig.h.

MINI_AIG_FALLOC

#define MINI_AIG_FALLOC	(		type,
			num )

Value:

((type *) memset(malloc(sizeof(type) * (num)), 0xff, sizeof(type) * (num)))

Definition at line 64 of file miniaig.h.

MINI_AIG_FREE

#define MINI_AIG_FREE

(

obj

)

Value:

((obj) ? (free((char *) (obj)), (obj) = 0) : 0)

Definition at line 65 of file miniaig.h.

MINI_AIG_NULL

#define MINI_AIG_NULL   (0x7FFFFFFF)

INCLUDES ///.

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

FileName [miniaig.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Minimalistic AIG package.]

Synopsis [External declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - September 29, 2012.]

Revision [

Id

miniaig.h,v 1.00 2012/09/29 00:00:00 alanmi Exp

] PARAMETERS ///

Definition at line 41 of file miniaig.h.

MINI_AIG_REALLOC

#define MINI_AIG_REALLOC	(		type,
			obj,
			num )

Value:

        ((obj) ? ((type *) realloc((char *)(obj), sizeof(type) * (num))) : \
         ((type *) malloc(sizeof(type) * (num))))

Definition at line 66 of file miniaig.h.

#define MINI_AIG_REALLOC(type, obj, num) \
        ((obj) ? ((type *) realloc((char *)(obj), sizeof(type) * (num))) : \
         ((type *) malloc(sizeof(type) * (num))))

MINI_AIG_START_SIZE

#define MINI_AIG_START_SIZE   (0x000000FF)

Definition at line 42 of file miniaig.h.

Mini_AigForEachAnd

#define Mini_AigForEachAnd	(		p,
			i )

Value:

for (i = 1; i < Mini_AigNodeNum(p); i++) if ( !Mini_AigNodeIsAnd(p, i) ) {} else

Definition at line 140 of file miniaig.h.

Mini_AigForEachPi

#define Mini_AigForEachPi	(		p,
			i )

Value:

for (i = 1; i < Mini_AigNodeNum(p); i++) if ( !Mini_AigNodeIsPi(p, i) ) {} else

Definition at line 138 of file miniaig.h.

Mini_AigForEachPo

#define Mini_AigForEachPo	(		p,
			i )

Value:

for (i = 1; i < Mini_AigNodeNum(p); i++) if ( !Mini_AigNodeIsPo(p, i) ) {} else

Definition at line 139 of file miniaig.h.

Typedef Documentation

Mini_Aig_t

typedef struct Mini_Aig_t_ Mini_Aig_t

BASIC TYPES ///.

Definition at line 48 of file miniaig.h.