Searched defs:pVarLevels (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
| H A D | dauDsd.c | 893 int Dau_DsdCheck1Step( void * p, word * pTruth, int nVarsInit, int * pVarLevels ) in Dau_DsdCheck1Step()
910 int pVarLevels[DAU_MAX_VAR]; in Dau_DsdCheck1Step() local
966 int * pVarLevels; // variable levels member
1936 …el( word * pTruth, int nVarsInit, int fSplitPrime, int fWriteTruth, char * pRes, int * pVarLevels ) in Dau_DsdDecomposeLevel()
|
| H A D | dauGia.c | 459 int i, iLit, pVarLevels[DAU_DSD_MAX_VAR]; in Dsm_ManTruthToGia() local
|