NewBdd Namespace Reference

Classes
class	Cache
class	Man
struct	Param

Typedefs
typedef unsigned short	var
typedef int	bvar
typedef unsigned	lit
typedef unsigned short	ref
typedef unsigned long long	size
typedef unsigned	edge
typedef unsigned	uniq
typedef unsigned	cac

Detailed Description

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

FileName [giaNewBdd.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Scalable AIG package.]

Synopsis [Implementation of transduction method.]

Author [Yukio Miyasaka]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - May 2023.]

Revision [

Id

giaNewBdd.h,v 1.00 2023/05/10 00:00:00 Exp

]

Typedef Documentation

bvar

typedef int NewBdd::bvar

Definition at line 36 of file giaNewBdd.h.

cac

typedef unsigned NewBdd::cac

Definition at line 42 of file giaNewBdd.h.

edge

typedef unsigned NewBdd::edge

Definition at line 40 of file giaNewBdd.h.

lit

typedef unsigned NewBdd::lit

Definition at line 37 of file giaNewBdd.h.

ref

typedef unsigned short NewBdd::ref

Definition at line 38 of file giaNewBdd.h.

size

typedef unsigned long long NewBdd::size

Definition at line 39 of file giaNewBdd.h.

uniq

typedef unsigned NewBdd::uniq

Definition at line 41 of file giaNewBdd.h.

var

typedef unsigned short NewBdd::var

Definition at line 35 of file giaNewBdd.h.