Home
last modified time | relevance | path

Searched refs:fSmtLib (Results 1 – 9 of 9) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A Dwlc.h151 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 DwlcNtk.c965 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 DwlcMem.c143 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 DwlcWriteVer.c184 …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 DwlcReadSmt.c820 pNtk->fSmtLib = 1; in Smt_PrsBuild()
1267 pNtk->fSmtLib = 1; in Smt_PrsBuild2()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/
H A DwlnWlc.c81 pNew->fSmtLib = p->fSmtLib; in Wln_NtkFromWlc()
H A Dwln.h60 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 DwlnNtk.c199 pNew->fSmtLib = p->fSmtLib; in Wln_NtkDupDfs()
H A DwlnWriteVer.c159 …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()