NewTt Namespace Reference

Classes
class	Man
struct	Param

Typedefs
typedef int	bvar
typedef unsigned	lit
typedef unsigned short	ref
typedef unsigned long long	size

Detailed Description

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

FileName [giaNewTt.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

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

]

Typedef Documentation

bvar

typedef int NewTt::bvar

Definition at line 35 of file giaNewTt.h.

lit

typedef unsigned NewTt::lit

Definition at line 36 of file giaNewTt.h.

ref

typedef unsigned short NewTt::ref

Definition at line 37 of file giaNewTt.h.

size

typedef unsigned long long NewTt::size

Definition at line 38 of file giaNewTt.h.