/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswBmc.c | 126 int Ssw_BmcDynamic( Aig_Man_t * pAig, int nFramesMax, int nConfLimit, int fVerbose, int * piFrame ) in Ssw_BmcDynamic() argument 187 if ( piFrame ) in Ssw_BmcDynamic() 188 *piFrame = f; in Ssw_BmcDynamic() 194 if ( piFrame ) in Ssw_BmcDynamic() 195 *piFrame = f; in Ssw_BmcDynamic()
|
H A D | ssw.h | 127 … Ssw_BmcDynamic( Aig_Man_t * pAig, int nFramesMax, int nConfLimit, int fVerbose, int * piFrame );
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcBmc.c | 207 …nFrames, int nSizeMax, int nConfLimit, int fRewrite, int fVerbose, int * piFrame, int nCofFanLit, … in Saig_ManBmcSimple() argument 233 if ( piFrame ) in Saig_ManBmcSimple() 234 *piFrame = nFrames; in Saig_ManBmcSimple() 350 if ( piFrame ) in Saig_ManBmcSimple() 351 *piFrame = i / Saig_ManPoNum(pAig); in Saig_ManBmcSimple() 357 if ( piFrame ) in Saig_ManBmcSimple() 358 *piFrame = i / Saig_ManPoNum(pAig); in Saig_ManBmcSimple()
|
H A D | bmc.h | 210 …t nFrames, int nSizeMax, int nBTLimit, int fRewrite, int fVerbose, int * piFrame, int nCofFanLit, …
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/ |
H A D | intCore.c | 79 int Inter_ManPerformInterpolation( Aig_Man_t * pAig, Inter_ManParams_t * pPars, int * piFrame ) in Inter_ManPerformInterpolation() argument 102 *piFrame = -1; in Inter_ManPerformInterpolation() 133 *piFrame = -1; in Inter_ManPerformInterpolation() 236 *piFrame = p->nFrames; in Inter_ManPerformInterpolation()
|
H A D | int.h | 82 … Inter_ManPerformInterpolation( Aig_Man_t * pAig, Inter_ManParams_t * pPars, int * piFrame );
|
/dports/editors/lazarus/lazarus/ide/ |
H A D | viewunit_dlg.pp | 63 piFrame 409 piFrame: 435 if (ItemType in [piComponent,piFrame]) 556 piFrame: FImageIndex := IDEImages.LoadImage('tpanel');
|
H A D | sourcefilemanager.pas | 3335 if ItemType in [piComponent, piFrame] then 3341 ((ItemType = piFrame) and (CurUnitInfo.ResourceBaseClass = pfcbcFrame)) then 3393 piFrame: DlgCaption := dlgMainViewFrames; 3413 piFrame: Result:=ResourceBaseClass=pfcbcFrame;
|
/dports/editors/lazarus-devel/lazarus-6df7e8756882f7d7f28f662011ee72f21746c580/ide/ |
H A D | viewunit_dlg.pp | 63 piFrame 404 piFrame: 430 if (ItemType in [piComponent,piFrame]) 551 piFrame: FImageIndex := IDEImages.LoadImage('tpanel');
|
H A D | sourcefilemanager.pas | 3303 if ItemType in [piComponent, piFrame] then 3309 ((ItemType = piFrame) and (CurUnitInfo.ResourceBaseClass = pfcbcFrame)) then 3361 piFrame: DlgCaption := dlgMainViewFrames; 3380 piFrame: Result:=ResourceBaseClass=pfcbcFrame;
|
/dports/editors/lazarus-qt5/lazarus/ide/ |
H A D | viewunit_dlg.pp | 63 piFrame 409 piFrame: 435 if (ItemType in [piComponent,piFrame]) 556 piFrame: FImageIndex := IDEImages.LoadImage('tpanel');
|
H A D | sourcefilemanager.pas | 3335 if ItemType in [piComponent, piFrame] then 3341 ((ItemType = piFrame) and (CurUnitInfo.ResourceBaseClass = pfcbcFrame)) then 3393 piFrame: DlgCaption := dlgMainViewFrames; 3413 piFrame: Result:=ResourceBaseClass=pfcbcFrame;
|
/dports/editors/lazarus-qt5-devel/lazarus-6df7e8756882f7d7f28f662011ee72f21746c580/ide/ |
H A D | viewunit_dlg.pp | 63 piFrame 404 piFrame: 430 if (ItemType in [piComponent,piFrame]) 551 piFrame: FImageIndex := IDEImages.LoadImage('tpanel');
|
H A D | sourcefilemanager.pas | 3303 if ItemType in [piComponent, piFrame] then 3309 ((ItemType = piFrame) and (CurUnitInfo.ResourceBaseClass = pfcbcFrame)) then 3361 piFrame: DlgCaption := dlgMainViewFrames; 3380 piFrame: Result:=ResourceBaseClass=pfcbcFrame;
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigGlaCba.c | 681 …nStart, int nFramesMax, int nConfLimit, int TimeLimit, int fNaiveCnf, int fVerbose, int * piFrame ) in Aig_Gla1ManPerform() argument 818 *piFrame = f; in Aig_Gla1ManPerform()
|
/dports/devel/fossil/fossil-src-2.17/src/ |
H A D | th_lang.c | 1289 int *piFrame in thToFrame() argument 1303 *piFrame = iFrame; in thToFrame()
|
/dports/databases/sqlcipher/sqlcipher-3.4.2/src/ |
H A D | wal.c | 1370 u32 *piFrame /* OUT: Wal frame index of next page */ in walIteratorNext() argument 1385 *piFrame = pSegment->iZero + pSegment->aIndex[pSegment->iNext]; in walIteratorNext()
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/sqlite/src/src/ |
H A D | wal.c | 1429 u32 *piFrame /* OUT: Wal frame index of next page */ in walIteratorNext() argument 1444 *piFrame = pSegment->iZero + pSegment->aIndex[pSegment->iNext]; in walIteratorNext()
|
/dports/databases/sqlite3/sqlite-src-3350500/src/ |
H A D | wal.c | 1490 u32 *piFrame /* OUT: Wal frame index of next page */ in walIteratorNext() argument 1505 *piFrame = pSegment->iZero + pSegment->aIndex[pSegment->iNext]; in walIteratorNext()
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/sqlite/src/src/ |
H A D | wal.c | 1490 u32 *piFrame /* OUT: Wal frame index of next page */ in walIteratorNext() argument 1505 *piFrame = pSegment->iZero + pSegment->aIndex[pSegment->iNext]; in walIteratorNext()
|
/dports/security/vault/vault-1.8.2/vendor/github.com/apple/foundationdb/fdbserver/sqlite/ |
H A D | sqlite3.amalgamation.c | 37262 u32 *piFrame /* OUT: Wal frame index of next page */ 37277 *piFrame = pSegment->iZero + pSegment->aIndex[pSegment->iNext];
|
/dports/games/pokerth/pokerth-1.1.2-rc/src/third_party/sqlite3/ |
H A D | sqlite3.c | 46670 u32 *piFrame /* OUT: Wal frame index of next page */ 46685 *piFrame = pSegment->iZero + pSegment->aIndex[pSegment->iNext];
|
/dports/converters/wkhtmltopdf/qt-5db36ec/src/3rdparty/sqlite/ |
H A D | sqlite3.c | 44983 u32 *piFrame /* OUT: Wal frame index of next page */ 44998 *piFrame = pSegment->iZero + pSegment->aIndex[pSegment->iNext];
|
/dports/devel/emscripten/emscripten-2.0.3/tests/third_party/sqlite/ |
H A D | sqlite3.c | 44947 u32 *piFrame /* OUT: Wal frame index of next page */ 44962 *piFrame = pSegment->iZero + pSegment->aIndex[pSegment->iNext];
|
/dports/irc/ircd-ratbox-devel/ircd-ratbox-3.0.7/bandb/sqlite3/ |
H A D | sqlite3.c | 45690 u32 *piFrame /* OUT: Wal frame index of next page */ 45705 *piFrame = pSegment->iZero + pSegment->aIndex[pSegment->iNext];
|