diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-15 18:40:05 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-15 18:40:05 -0800 |
commit | ecd14d4daf479f2cd2f630095b7370a48465dac1 (patch) | |
tree | 8657ed9801322a8949f528a44fa71ced89c0c115 /src/aig/gia/gia.h | |
parent | e405d7139848b4ddd12361a45907bd1daba0ea2d (diff) | |
download | abc-ecd14d4daf479f2cd2f630095b7370a48465dac1.tar.gz abc-ecd14d4daf479f2cd2f630095b7370a48465dac1.tar.bz2 abc-ecd14d4daf479f2cd2f630095b7370a48465dac1.zip |
Isomorphism checking code.
Diffstat (limited to 'src/aig/gia/gia.h')
-rw-r--r-- | src/aig/gia/gia.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 76f8d3ad..aeb737dc 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -620,6 +620,8 @@ extern Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileS extern Gia_Man_t * Gia_ReadAiger( char * pFileName, int fCheck ); extern void Gia_WriteAiger( Gia_Man_t * p, char * pFileName, int fWriteSymbols, int fCompact ); extern void Gia_DumpAiger( Gia_Man_t * p, char * pFilePrefix, int iFileNum, int nFileNumDigits ); +extern Vec_Str_t * Gia_WriteAigerIntoMemoryStr( Gia_Man_t * p ); +extern Vec_Str_t * Gia_WriteAigerIntoMemoryStrPart( Gia_Man_t * p, Vec_Int_t * vCis, Vec_Int_t * vAnds, Vec_Int_t * vCos, int nRegs ); /*=== giaBidec.c ===========================================================*/ extern unsigned * Gia_ManConvertAigToTruth( Gia_Man_t * p, Gia_Obj_t * pRoot, Vec_Int_t * vLeaves, Vec_Int_t * vTruth, Vec_Int_t * vVisited ); extern Gia_Man_t * Gia_ManPerformBidec( Gia_Man_t * p, int fVerbose ); @@ -671,6 +673,7 @@ extern Gia_Man_t * Gia_ManDupWithConstraints( Gia_Man_t * p, Vec_Int_t * extern Gia_Man_t * Gia_ManDupAbsFlops( Gia_Man_t * p, Vec_Int_t * vFlopClasses ); extern Gia_Man_t * Gia_ManDupAbsGates( Gia_Man_t * p, Vec_Int_t * vGateClasses ); extern Vec_Int_t * Gia_GlaCollectAssigned( Gia_Man_t * p, Vec_Int_t * vGateClasses ); +extern Gia_Man_t * Gia_ManDupCones( Gia_Man_t * p, int * pPos, int nPos ); /*=== giaEnable.c ==========================================================*/ extern void Gia_ManDetectSeqSignals( Gia_Man_t * p, int fSetReset, int fVerbose ); extern Gia_Man_t * Gia_ManUnrollAndCofactor( Gia_Man_t * p, int nFrames, int nFanMax, int fVerbose ); |