Home
last modified time | relevance | path

Searched refs:nMaxLevelIncrease (Results 1 – 6 of 6) sorted by relevance

/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/
H A DaigTiming.c157 void Aig_ManStartReverseLevels( Aig_Man_t * p, int nMaxLevelIncrease ) in Aig_ManStartReverseLevels() argument
165 p->nLevelMax = Aig_ManLevels(p) + nMaxLevelIncrease; in Aig_ManStartReverseLevels()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigTiming.c142 void Aig_ManStartReverseLevels( Aig_Man_t * p, int nMaxLevelIncrease ) in Aig_ManStartReverseLevels() argument
150 p->nLevelMax = Aig_ManLevels(p) + nMaxLevelIncrease; in Aig_ManStartReverseLevels()
H A Daig.h627 extern void Aig_ManStartReverseLevels( Aig_Man_t * p, int nMaxLevelIncrease );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcTiming.c1232 void Abc_NtkStartReverseLevels( Abc_Ntk_t * pNtk, int nMaxLevelIncrease ) in Abc_NtkStartReverseLevels() argument
1238 pNtk->LevelMax = Abc_NtkLevel(pNtk) + nMaxLevelIncrease; in Abc_NtkStartReverseLevels()
/dports/math/stp/stp-2.3.3/lib/extlib-abc/
H A Daig.h514 extern void Aig_ManStartReverseLevels( Aig_Man_t * p, int nMaxLevelIncrease );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A Dabc.h981 …rn ABC_DLL void Abc_NtkStartReverseLevels( Abc_Ntk_t * pNtk, int nMaxLevelIncrease );