| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/ |
| H A D | intInter.c | 45 Aig_Man_t * Inter_ManDupExpand( Aig_Man_t * pInter, Aig_Man_t * pOther ) in Inter_ManDupExpand()
66 void Inter_ManVerifyInterpolant1( Inta_Man_t * pMan, Sto_Man_t * pCnf, Aig_Man_t * pInter ) in Inter_ManVerifyInterpolant1()
106 void Inter_ManVerifyInterpolant2( Intb_Man_t * pMan, Sto_Man_t * pCnf, Aig_Man_t * pInter ) in Inter_ManVerifyInterpolant2()
|
| H A D | intM114p.c | 49 Aig_Man_t * pInter, Cnf_Dat_t * pCnfInter, in Inter_ManDeriveSatSolverM114p()
211 Aig_Obj_t * pInter, * pInter2, * pVar; in Inter_ManInterpolateM114pPudlak() local
323 Aig_Obj_t * pInter, * pInter2, * pVar; in Inter_ManpInterpolateM114() local
|
| H A D | intM114.c | 47 Aig_Man_t * pInter, Cnf_Dat_t * pCnfInter, in Inter_ManDeriveSatSolver()
|
| H A D | intInt.h | 57 Aig_Man_t * pInter; // the current interpolant member
|
| H A D | intContain.c | 190 int Inter_ManCheckInductiveContainment( Aig_Man_t * pTrans, Aig_Man_t * pInter, int nSteps, int fBa… in Inter_ManCheckInductiveContainment()
|
| /dports/cad/alliance/alliance/src/sea/src/ |
| H A D | debug.c | 41 struct lInter_s *pInter; variable
|
| H A D | util_Inter.c | 164 struct eInter_s *pInter; local
284 struct eInter_s *pInter; local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigRepar.c | 127 word * pInter; in Aig_ManInterTest() local
247 Aig_Man_t * pAigTemp, * pInter, * pBase = NULL; in Aig_ManInterRepar() local
|
| /dports/devel/icu-lx/icu/source/test/perf/utfperf/ |
| H A D | utfperf.cpp | 170 char *pInter, *pInterLimit; in call() local
236 char *pInter, *pInterLimit; in call() local
289 char *pInter, *pInterLimit; in call() local
|
| /dports/devel/icu/icu/source/test/perf/utfperf/ |
| H A D | utfperf.cpp | 170 char *pInter, *pInterLimit; in call() local
236 char *pInter, *pInterLimit; in call() local
289 char *pInter, *pInterLimit; in call() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/ |
| H A D | satSolver2i.c | 161 Gia_Man_t * pInter; in Gia_ManInterTest() local
|
| /dports/devel/vera++/vera++-1.3.0/src/plugins/tcl/ |
| H A D | TclInterpreter.cpp | 28 Tcl::interpreter *pInter; variable
|
| /dports/editors/libreoffice/libreoffice-7.2.6.2/sfx2/source/appl/ |
| H A D | helpinterceptor.cxx | 217 HelpListener_Impl::HelpListener_Impl( HelpInterceptor_Impl* pInter ) in HelpListener_Impl()
|
| /dports/editors/libreoffice6/libreoffice-6.4.7.2/sfx2/source/appl/ |
| H A D | helpinterceptor.cxx | 224 HelpListener_Impl::HelpListener_Impl( HelpInterceptor_Impl* pInter ) in HelpListener_Impl()
|
| /dports/graphics/blender/blender-2.91.0/source/blender/freestyle/intern/stroke/ |
| H A D | StrokeRep.cpp | 250 Vec2r pInter; in createStrip() local
|
| /dports/games/xblast/xblast-2.10.4/ |
| H A D | sdl_socket.c | 813 GetSingleInterface (int fd, XBSocketInterface * pInter, const char *ifname) in GetSingleInterface()
|
| H A D | x11_socket.c | 788 GetSingleInterface (int fd, XBSocketInterface * pInter, const struct ifreq *ifReq, size_t * len) in GetSingleInterface()
|
| /dports/editors/libreoffice6/libreoffice-6.4.7.2/sw/source/core/tox/ |
| H A D | txmsrt.cxx | 135 const SwTOXInternational* pInter, in SwTOXSortTabBase()
|
| /dports/editors/libreoffice/libreoffice-7.2.6.2/sw/source/core/tox/ |
| H A D | txmsrt.cxx | 136 const SwTOXInternational* pInter, in SwTOXSortTabBase()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
| H A D | acbFunc.c | 2266 Gia_Man_t * pInter[2], * pFinal; in Gia_ManInterOneInt() local
2328 Gia_Man_t * pInter, * pCof0, * pCof1, * pCof = Gia_ManDup( p ); int v; in Acb_NtkDeriveMiterCnfInter2() local
|
| /dports/print/scribus-devel/scribus-1.5.7/scribus/plugins/import/cgm/ |
| H A D | importcgm.cpp | 1633 QPointF pInter = convertCoords(getBinaryCoords(ts)); in decodeClass4() local
1679 QPointF pInter = convertCoords(getBinaryCoords(ts)); in decodeClass4() local
|