#include "mapperInt.h"
Go to the source code of this file.
Functions | |
| Map_Super_t * | Map_LibraryReadGateTree (Map_SuperLib_t *pLib, char *pBuffer, int Number, int nVarsMax) |
| FUNCTION DEFINITIONS ///. | |
| int | Vec_StrGets (char *pBuffer, int nBufferSize, Vec_Str_t *vStr, int *pPos) |
| int | Map_LibraryCompareLibNames (char *pName1, char *pName2) |
| int | Map_LibraryReadFileTreeStr (Map_SuperLib_t *pLib, Mio_Library_t *pGenlib, Vec_Str_t *vStr, char *pFileName) |
| int | Map_LibraryReadTree (Map_SuperLib_t *pLib, Mio_Library_t *pGenlib, char *pFileName, char *pExcludeFile) |
| int | Map_LibraryDeriveGateInfo (Map_SuperLib_t *pLib, st__table *tExcludeGate) |
| unsigned | Map_CalculatePhase (unsigned uTruths[][2], int nVars, unsigned uTruth, unsigned uPhase) |
| void | Map_CalculatePhase6 (unsigned uTruths[][2], int nVars, unsigned uTruth[], unsigned uPhase, unsigned uTruthRes[]) |
| void | Map_LibraryPrintTree (Map_SuperLib_t *pLib) |
| unsigned Map_CalculatePhase | ( | unsigned | uTruths[][2], |
| int | nVars, | ||
| unsigned | uTruth, | ||
| unsigned | uPhase ) |
Function*************************************************************
Synopsis [Performs phase transformation for one function.]
Description []
SideEffects []
SeeAlso []
Definition at line 918 of file mapperTree.c.
| void Map_CalculatePhase6 | ( | unsigned | uTruths[][2], |
| int | nVars, | ||
| unsigned | uTruth[], | ||
| unsigned | uPhase, | ||
| unsigned | uTruthRes[] ) |
Function*************************************************************
Synopsis [Performs phase transformation for one function.]
Description []
SideEffects []
SeeAlso []
Definition at line 938 of file mapperTree.c.
| int Map_LibraryCompareLibNames | ( | char * | pName1, |
| char * | pName2 ) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 363 of file mapperTree.c.


| int Map_LibraryDeriveGateInfo | ( | Map_SuperLib_t * | pLib, |
| st__table * | tExcludeGate ) |
Function*************************************************************
Synopsis [Derives information about the library.]
Description []
SideEffects []
SeeAlso []
Definition at line 586 of file mapperTree.c.


| void Map_LibraryPrintTree | ( | Map_SuperLib_t * | pLib | ) |
Function*************************************************************
Synopsis [Prints the supergate library after deriving parameters.]
Description [This procedure is very useful to see the library after it has been read into the mapper by "read_super" and all the information about the supergates derived.]
SideEffects []
SeeAlso []
Definition at line 979 of file mapperTree.c.

| int Map_LibraryReadFileTreeStr | ( | Map_SuperLib_t * | pLib, |
| Mio_Library_t * | pGenlib, | ||
| Vec_Str_t * | vStr, | ||
| char * | pFileName ) |
Function*************************************************************
Synopsis [Reads the supergate library from file.]
Description []
SideEffects []
SeeAlso []
Definition at line 391 of file mapperTree.c.


| Map_Super_t * Map_LibraryReadGateTree | ( | Map_SuperLib_t * | pLib, |
| char * | pBuffer, | ||
| int | Number, | ||
| int | nVarsMax ) |
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Reads one gate.]
Description []
SideEffects []
SeeAlso []
Definition at line 54 of file mapperTree.c.


| int Map_LibraryReadTree | ( | Map_SuperLib_t * | pLib, |
| Mio_Library_t * | pGenlib, | ||
| char * | pFileName, | ||
| char * | pExcludeFile ) |
Definition at line 525 of file mapperTree.c.


| int Vec_StrGets | ( | char * | pBuffer, |
| int | nBufferSize, | ||
| Vec_Str_t * | vStr, | ||
| int * | pPos ) |
Function*************************************************************
Synopsis [Reads the supergate library from file.]
Description []
SideEffects []
SeeAlso [] Function*************************************************************
Synopsis [Similar to fgets.]
Description []
SideEffects []
SeeAlso []
Definition at line 316 of file mapperTree.c.
