Searched defs:nFramesP (Results 1 – 5 of 5) sorted by relevance
46 int nFramesP; member531 Aig_Man_t * Fra_FraigLatchCorrespondence( Aig_Man_t * pAig, int nFramesP, int nConfMax, int fProve,… in Fra_FraigLatchCorrespondence()
79 int nFramesP; // the number of timeframes to in the prefix member96 int nFramesP; // number of frames in the prefix member
1456 extendToEndOfPattern(unsigned int * const nFramesP, in extendToEndOfPattern()1478 unsigned int * const nFramesP) { in allocateInitialFrames()1552 unsigned int * const nFramesP) { in allocateMoreFrames()
2230 Abc_Ntk_t * Abc_NtkDarLcorr( Abc_Ntk_t * pNtk, int nFramesP, int nConfMax, int fVerbose ) in Abc_NtkDarLcorr()
21949 int nFramesP; in Abc_CommandLcorr() local