Searched refs:fSmtLib (Results 1 – 9 of 9) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
H A D | wlc.h | 151 int fSmtLib; // the network comes from an SMT-LIB file member 321 … Wlc_ObjIsSignedFanin01( Wlc_Ntk_t * p, Wlc_Obj_t * pObj ){ return p->fSmtLib ? Wlc_ObjIsSigned… in Wlc_ObjIsSignedFanin01() 322 … Wlc_ObjIsSignedFanin0( Wlc_Ntk_t * p, Wlc_Obj_t * pObj ) { return p->fSmtLib ? Wlc_ObjIsSigned… in Wlc_ObjIsSignedFanin0() 323 … Wlc_ObjIsSignedFanin1( Wlc_Ntk_t * p, Wlc_Obj_t * pObj ) { return p->fSmtLib ? Wlc_ObjIsSigned… in Wlc_ObjIsSignedFanin1()
|
H A D | wlcNtk.c | 965 pNew->fSmtLib = p->fSmtLib; in Wlc_NtkDupDfsSimple() 994 pNew->fSmtLib = p->fSmtLib; in Wlc_NtkDupDfs() 1062 pNew->fSmtLib = p->fSmtLib; in Wlc_NtkDupDfsAbs() 1246 pNew->fSmtLib = p->fSmtLib; in Wlc_NtkDupSingleNodes()
|
H A D | wlcMem.c | 143 pNew->fSmtLib = p->fSmtLib; in Wlc_NtkMemBlast() 532 pNew->fSmtLib = p->fSmtLib; in Wlc_NtkAbstractMemory() 1403 pNew->fSmtLib = p->fSmtLib; in Wlc_NtkAbstractMem()
|
H A D | wlcWriteVer.c | 184 …sprintf( Range, "%s[%d:%d]%*s", (!p->fSmtLib && Wlc_ObjIsSigned(pObj)) ? "signed ":" ", pObj… in Wlc_WriteVerInt() 507 …fprintf( pFile, " ;%s\n", (p->fSmtLib && Wlc_ObjIsSigned(pObj)) ? " // signed SMT-LIB operator" : … in Wlc_WriteVerInt()
|
H A D | wlcReadSmt.c | 820 pNtk->fSmtLib = 1; in Smt_PrsBuild() 1267 pNtk->fSmtLib = 1; in Smt_PrsBuild2()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/ |
H A D | wlnWlc.c | 81 pNew->fSmtLib = p->fSmtLib; in Wln_NtkFromWlc()
|
H A D | wln.h | 60 int fSmtLib; // derived from SMT-LIB member 125 …edFanin0( Wln_Ntk_t * p, int i ) { return Wln_ObjIsSigned( p, p->fSmtLib ? i : Wln_ObjFani… in Wln_ObjIsSignedFanin0() 126 …edFanin1( Wln_Ntk_t * p, int i ) { return Wln_ObjIsSigned( p, p->fSmtLib ? i : Wln_ObjFani… in Wln_ObjIsSignedFanin1()
|
H A D | wlnNtk.c | 199 pNew->fSmtLib = p->fSmtLib; in Wln_NtkDupDfs()
|
H A D | wlnWriteVer.c | 159 …sprintf( Range, "%s[%d:%d]%*s", (!p->fSmtLib && Wln_ObjIsSigned(p, iObj)) ? "signed ":" ", E… in Wln_WriteVerInt() 461 …fprintf( pFile, " ;%s\n", (p->fSmtLib && Wln_ObjIsSigned(p, iObj)) ? " // signed SMT-LIB operator"… in Wln_WriteVerInt()
|