Transduction Namespace Reference

Classes
class	ManUtil
class	Transduction
class	TransductionBackup

Enumerations
enum	PfState { none , cspf , mspf }

Detailed Description

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

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

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

]

Enumeration Type Documentation

PfState

enum Transduction::PfState

Enumerator
none
cspf
mspf

Definition at line 40 of file giaTransduction.h.

{none, cspf, mspf};