Searched refs:Exa_ManFindFanin (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcMaj.c | 527 static inline int Exa_ManFindFanin( Exa_Man_t * p, int i, int k ) in Exa_ManFindFanin() function
547 pFanins[k] = Exa_ManTruth( p, Exa_ManFindFanin(p, i, k) ); in Exa_ManEval()
607 iVar = Exa_ManFindFanin( p, i, k ); in Exa_ManDumpBlif()
647 iVar = Exa_ManFindFanin( p, i, k ); in Exa_ManPrintSolution()
|
| H A D | bmcMaj2.c | 631 static inline int Exa_ManFindFanin( Exa_Man_t * p, int i, int k ) in Exa_ManFindFanin() function
651 pFanins[k] = Exa_ManTruth( p, Exa_ManFindFanin(p, i, k) ); in Exa_ManEval()
698 iVar = Exa_ManFindFanin( p, i, k ); in Exa_ManPrintSolution()
|