abc-master
|
#include "intInt.h"
Go to the source code of this file.
Functions | |
ABC_NAMESPACE_IMPL_START Aig_Man_t * | Inter_ManStartInitState (int nRegs) |
DECLARATIONS ///. More... | |
Aig_Man_t * | Inter_ManStartDuplicated (Aig_Man_t *p) |
Aig_Man_t * | Inter_ManStartOneOutput (Aig_Man_t *p, int fAddFirstPo) |
Function*************************************************************
Synopsis [Duplicate the AIG w/o POs.]
Description []
SideEffects []
SeeAlso []
ABC_NAMESPACE_IMPL_START Aig_Man_t* Inter_ManStartInitState | ( | int | nRegs | ) |
DECLARATIONS ///.
CFile****************************************************************
FileName [intDup.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Interpolation engine.]
Synopsis [Specialized AIG duplication procedures.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 24, 2008.]
Revision [
]FUNCTION DEFINITIONS /// Function*************************************************************
Synopsis [Create trivial AIG manager for the init state.]
Description []
SideEffects []
SeeAlso []
Definition at line 45 of file intDup.c.
Function*************************************************************
Synopsis [Duplicate the AIG w/o POs and transforms to transit into init state.]
Description []
SideEffects []
SeeAlso []
Definition at line 122 of file intDup.c.