Home
last modified time | relevance | path

Searched refs:piFrame (Results 1 – 25 of 173) sorted by relevance

1234567

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswBmc.c126 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 Dssw.h127 … Ssw_BmcDynamic( Aig_Man_t * pAig, int nFramesMax, int nConfLimit, int fVerbose, int * piFrame );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcBmc.c207 …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 Dbmc.h210 …t nFrames, int nSizeMax, int nBTLimit, int fRewrite, int fVerbose, int * piFrame, int nCofFanLit, …
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/
H A DintCore.c79 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 Dint.h82 … Inter_ManPerformInterpolation( Aig_Man_t * pAig, Inter_ManParams_t * pPars, int * piFrame );
/dports/editors/lazarus/lazarus/ide/
H A Dviewunit_dlg.pp63 piFrame
409 piFrame:
435 if (ItemType in [piComponent,piFrame])
556 piFrame: FImageIndex := IDEImages.LoadImage('tpanel');
H A Dsourcefilemanager.pas3335 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 Dviewunit_dlg.pp63 piFrame
404 piFrame:
430 if (ItemType in [piComponent,piFrame])
551 piFrame: FImageIndex := IDEImages.LoadImage('tpanel');
H A Dsourcefilemanager.pas3303 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 Dviewunit_dlg.pp63 piFrame
409 piFrame:
435 if (ItemType in [piComponent,piFrame])
556 piFrame: FImageIndex := IDEImages.LoadImage('tpanel');
H A Dsourcefilemanager.pas3335 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 Dviewunit_dlg.pp63 piFrame
404 piFrame:
430 if (ItemType in [piComponent,piFrame])
551 piFrame: FImageIndex := IDEImages.LoadImage('tpanel');
H A Dsourcefilemanager.pas3303 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 DsaigGlaCba.c681 …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 Dth_lang.c1289 int *piFrame in thToFrame() argument
1303 *piFrame = iFrame; in thToFrame()
/dports/databases/sqlcipher/sqlcipher-3.4.2/src/
H A Dwal.c1370 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 Dwal.c1429 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 Dwal.c1490 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 Dwal.c1490 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 Dsqlite3.amalgamation.c37262 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 Dsqlite3.c46670 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 Dsqlite3.c44983 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 Dsqlite3.c44947 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 Dsqlite3.c45690 u32 *piFrame /* OUT: Wal frame index of next page */
45705 *piFrame = pSegment->iZero + pSegment->aIndex[pSegment->iNext];

1234567