Searched refs:pPhases (Results 1 – 12 of 12) sorted by relevance
54 Extra_Truth4VarNPN( &p->puCanons, &p->pPhases, &p->pPerms, &p->pMap ); in Dec_ManStart()76 ABC_FREE( p->pPhases ); in Dec_ManStop()
87 char * pPhases; // canonical phases member
58 p->pPhases = pManDec->pPhases; in Rwr_ManStart()
55 char * pPhases; // canonical phases member
103 uPhase = p->pPhases[uTruth]; in Rwr_NodeRewrite()
63 char * pPhases; // canonical phases member
98 p->pPhases = s_pPhases; in Rwt_ManStart()
113 char * pPhases; member151 Dar_Truth4VarNPN( &p->puCanons, &p->pPhases, &p->pPerms, &p->pMap ); in Dar_LibAlloc()187 free( p->pPhases ); in Dar_LibFree()705 uPhase = s_DarLib->pPhases[pCut->uTruth]; in Dar_LibCutMatch()
103 char * pPhases; member141 Dar_Truth4VarNPN( &p->puCanons, &p->pPhases, &p->pPerms, &p->pMap ); in Dar_LibAlloc()177 ABC_FREE( p->pPhases ); in Dar_LibFree()714 uPhase = s_DarLib->pPhases[pCut->uTruth]; in Dar_LibCutMatch()1063 uPhase = s_DarLib->pPhases[uTruth]; in Dar2_LibCutMatch()
200 uPhase = p->pPhases[uTruth]; in Ivy_NodeRewrite()
192 uPhase = p->pPhases[uTruth]; in Ivy_NodeRewriteSeq()