| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraIndVer.c | 46 int Fra_InvariantVerify( Aig_Man_t * pAig, int nFrames, Vec_Int_t * vClauses, Vec_Int_t * vLits ) in Fra_InvariantVerify() argument
55 if ( nFrames != 1 ) in Fra_InvariantVerify()
78 pSat = (sat_solver *)Cnf_DataWriteIntoSolver( pCnf, nFrames, 1 ); in Fra_InvariantVerify()
99 pSat = (sat_solver *)Cnf_DataWriteIntoSolver( pCnf, nFrames + 1, 0 ); in Fra_InvariantVerify()
|
| H A D | fraClaus.c | 36 int nFrames; // the K of the K-step induction member
101 for ( i = 0; i < p->nPref + p->nFrames; i++ ) in Fra_ClausRunBmc()
127 pLits = ABC_ALLOC( int, p->nFrames + 1 ); in Fra_ClausRunSat()
130 for ( i = 0; i <= p->nFrames; i++ ) in Fra_ClausRunSat()
917 for ( f = 0; f < p->nFrames; f++ ) in Fra_ClausBmcClauses()
969 nLitsTot = (p->nPref + p->nFrames) * nLitsTot; in Fra_ClausBmcClauses()
1143 for ( f = 0; f < p->nFrames; f++ ) in Fra_ClausInductiveClauses()
1163 nLitsTot = (p->nFrames) * nLitsTot; in Fra_ClausInductiveClauses()
1189 for ( f = 0; f < p->nFrames; f++ ) in Fra_ClausInductiveClauses()
1343 nLitsTot = p->nFrames * nLitsTot; in Fra_ClausInductiveClauses()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/ |
| H A D | cnfMan.c | 374 assert( nFrames > 0 ); in Cnf_DataWriteIntoSolverInt()
377 sat_solver_setnvars( pSat, p->nVars * nFrames ); in Cnf_DataWriteIntoSolverInt()
386 if ( nFrames > 1 ) in Cnf_DataWriteIntoSolverInt()
392 for ( f = 1; f < nFrames; f++ ) in Cnf_DataWriteIntoSolverInt()
463 void * Cnf_DataWriteIntoSolver( Cnf_Dat_t * p, int nFrames, int fInit ) in Cnf_DataWriteIntoSolver() argument
465 return Cnf_DataWriteIntoSolverInt( sat_solver_new(), p, nFrames, fInit ); in Cnf_DataWriteIntoSolver()
479 void * Cnf_DataWriteIntoSolver2( Cnf_Dat_t * p, int nFrames, int fInit ) in Cnf_DataWriteIntoSolver2() argument
483 assert( nFrames > 0 ); in Cnf_DataWriteIntoSolver2()
485 sat_solver2_setnvars( pSat, p->nVars * nFrames ); in Cnf_DataWriteIntoSolver2()
494 if ( nFrames > 1 ) in Cnf_DataWriteIntoSolver2()
[all …]
|
| /dports/games/holotz-castle/holotz-castle-1.3.14-src/JLib/JLib/Graphics/ |
| H A D | JSprite.cpp | 34 void JSprite::Init(u32 nFrames, u32 _FPS, bool mustLoop, bool mustGoBack, bool mustGoBackwards) in Init() argument
36 if (nFrames) in Init()
37 numFrames = nFrames; in Init()
|
| /dports/graphics/intergif/igsrc/src/ |
| H A D | commonpal.c | 93 for ( i=0; i < a->nFrames; i++ ) in Anim_CommonPalette()
211 for ( i=0; i < a->nFrames; i++ ) in Anim_CommonPalette()
262 debugf( "in Anim_AddToHistogram(%d)\n", a->nFrames );
278 for ( i=0; i<a->nFrames; i++ )
328 for ( i=0; i < a->nFrames; i++ ) in Anim_Trim()
346 for ( i=0; i<a->nFrames; i++ ) in Anim_Trim()
372 for ( i=0; i<a->nFrames; i++ ) in Anim_Trim()
|
| H A D | loadtca.c | 215 int nFrames; in Anim_ConvertTCA() local
297 nFrames = 0; in Anim_ConvertTCA()
300 bDelta = nFrames > 0 in Anim_ConvertTCA()
307 debugf( "Decompressing frame %d\n", nFrames ); in Anim_ConvertTCA()
352 nFrames++; in Anim_ConvertTCA()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cec.h | 63 int nFrames; // the number of simulation frames member
83 int nFrames; // the max number of time frames member
141 int nFrames; // the number of time frames member
182 int nFrames; // (scorr/lcorr) the number of timeframes member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcCexDepth.c | 49 Gia_Man_t * Bmc_CexTargetEnlarge( Gia_Man_t * p, int nFrames ) in Bmc_CexTargetEnlarge() argument
59 for ( k = 0; k < nFrames; k++ ) in Bmc_CexTargetEnlarge()
64 for ( k = 0; k < nFrames; k++ ) in Bmc_CexTargetEnlarge()
67 pObj->Value = Gia_ManCiLit( pNew, (nFrames - 1 - k) * Gia_ManPiNum(p) + i ); in Bmc_CexTargetEnlarge()
94 Gia_Man_t * Bmc_CexTarget( Gia_Man_t * p, int nFrames ) in Bmc_CexTarget() argument
97 int i, Limit = nFrames * Gia_ManPiNum(p); in Bmc_CexTarget()
98 pNew = Bmc_CexTargetEnlarge( p, nFrames ); in Bmc_CexTarget()
335 Gia_Man_t * Bmc_CexDepthTest( Gia_Man_t * p, Abc_Cex_t * pCex, int nFrames, int fVerbose ) in Bmc_CexDepthTest() argument
356 pNew = Bmc_CexBuildNetwork2Test( p, pCexStates, nFrames ); in Bmc_CexDepthTest()
|
| H A D | bmcInse.c | 235 int nFrames = Vec_IntSize(vInputs) / Gia_ManPiNum(p); in Gia_ManInseSimulate() local
243 for ( f = 0; f < nFrames; f++ ) in Gia_ManInseSimulate()
277 Vec_Int_t * Gia_ManInsePerform( Gia_Man_t * p, Vec_Int_t * vInit0, int nFrames, int nWords, int fVe… in Gia_ManInsePerform() argument
285 …printf( "Running with %d frames, %d words, and %sgiven init state.\n", nFrames, nWords, vInit0 ? "… in Gia_ManInsePerform()
287 vInputs = Vec_IntStart( Gia_ManPiNum(p) * nFrames ); in Gia_ManInsePerform()
295 for ( f = 0; f < nFrames; f++ ) in Gia_ManInsePerform()
328 Vec_Int_t * Gia_ManInseTest( Gia_Man_t * p, Vec_Int_t * vInit0, int nFrames, int nWords, int nTimeO… in Gia_ManInseTest() argument
332 vRes = Gia_ManInsePerform( p, vInit, nFrames, nWords, fVerbose ); in Gia_ManInseTest()
|
| /dports/print/scribus-devel/scribus-1.5.7/scribus/ |
| H A D | util_debug.cpp | 55 void printBacktrace ( int nFrames ) in printBacktrace() argument
58 void ** trace = new void*[nFrames + 1]; in printBacktrace()
62 trace_size = backtrace ( trace, nFrames + 1 ); in printBacktrace()
|
| /dports/graphics/art/ART-1.9.3/rtengine/klt/ |
| H A D | klt.h | 114 int nFrames; member
119 int nFrames; member
135 int nFrames);
137 int nFrames,
|
| /dports/graphics/rawtherapee/rawtherapee-5.8/rtengine/klt/ |
| H A D | klt.h | 114 int nFrames; member
119 int nFrames; member
135 int nFrames);
137 int nFrames,
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcVerify.c | 520 pFrames = Abc_NtkFrames( pMiter, nFrames, 1, 0 ); in Abc_NtkSecSat()
592 pMiter->pModel = Abc_NtkVerifyGetCleanModel( pMiter, nFrames ); in Abc_NtkSecFraig()
593 Abc_NtkVerifyReportErrorSeq( pNtk1, pNtk2, pMiter->pModel, nFrames ); in Abc_NtkSecFraig()
606 pFrames = Abc_NtkFrames( pMiter, nFrames, 1, 0 ); in Abc_NtkSecFraig()
672 int * Abc_NtkVerifyGetCleanModel( Abc_Ntk_t * pNtk, int nFrames ) in Abc_NtkVerifyGetCleanModel() argument
674 int * pModel = ABC_ALLOC( int, Abc_NtkCiNum(pNtk) * nFrames ); in Abc_NtkVerifyGetCleanModel()
675 memset( pModel, 0, sizeof(int) * Abc_NtkCiNum(pNtk) * nFrames ); in Abc_NtkVerifyGetCleanModel()
857 void Abc_NtkVerifyReportErrorSeq( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, int * pModel, int nFrames ) in Abc_NtkVerifyReportErrorSeq() argument
872 vInfo1 = Sim_SimulateSeqModel( pNtk1, nFrames, pModel ); in Abc_NtkVerifyReportErrorSeq()
873 vInfo2 = Sim_SimulateSeqModel( pNtk2, nFrames, pModel ); in Abc_NtkVerifyReportErrorSeq()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswMan.c | 57 p->nFrames = pPars->nFramesK + 1; in Ssw_ManCreate()
58 p->pNodeToFrames = ABC_CALLOC( Aig_Obj_t *, Aig_ManObjNumMax(p->pAig) * p->nFrames ); in Ssw_ManCreate()
62 p->nPatWords = Abc_BitWordNum( Saig_ManPiNum(pAig) * p->nFrames + Saig_ManRegNum(pAig) ); in Ssw_ManCreate()
106 … double nMemory = 1.0*Aig_ManObjNumMax(p->pAig)*p->nFrames*(2*sizeof(int)+2*sizeof(void*))/(1<<20); in Ssw_ManPrintStats()
167 memset( p->pNodeToFrames, 0, sizeof(Aig_Obj_t *) * Aig_ManObjNumMax(p->pAig) * p->nFrames ); in Ssw_ManCleanup()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/ |
| H A D | intInt.h | 68 int nFrames; // the number of timeframes member
105 extern void * Inter_ManGetCounterExample( Aig_Man_t * pAig, int nFrames, int fVerbose );
113 extern Aig_Man_t * Inter_ManFramesInter( Aig_Man_t * pAig, int nFrames, int fAddRegOuts, int fU…
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.jdi/share/classes/com/sun/tools/example/debug/tty/ |
| H A D | ThreadInfo.java | 279 void up(int nFrames) throws IncompatibleThreadStateException { in up() argument
280 setCurrentFrameIndex(currentFrameIndex + nFrames); in up()
292 void down(int nFrames) throws IncompatibleThreadStateException { in down() argument
293 setCurrentFrameIndex(currentFrameIndex - nFrames); in down()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.jdi/share/classes/com/sun/tools/example/debug/tty/ |
| H A D | ThreadInfo.java | 279 void up(int nFrames) throws IncompatibleThreadStateException { in up() argument
280 setCurrentFrameIndex(currentFrameIndex + nFrames); in up()
292 void down(int nFrames) throws IncompatibleThreadStateException { in down() argument
293 setCurrentFrameIndex(currentFrameIndex - nFrames); in down()
|
| /dports/games/scummvm/scummvm-2.5.1/engines/icb/common/ |
| H A D | px_anims.h | 188 int32 nFrames = anim->frame_qty; in ConvertPXanim() local
189 anim->frame_qty = (uint8)nFrames; in ConvertPXanim()
198 int32 nFrames = anim->frame_qty; in ConvertPXanim() local
199 anim->frame_qty = (uint8)nFrames; in ConvertPXanim()
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/com/sun/tools/example/debug/tty/ |
| H A D | ThreadInfo.java | 279 void up(int nFrames) throws IncompatibleThreadStateException { in up() argument
280 setCurrentFrameIndex(currentFrameIndex + nFrames); in up()
292 void down(int nFrames) throws IncompatibleThreadStateException { in down() argument
293 setCurrentFrameIndex(currentFrameIndex - nFrames); in down()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.jdi/share/classes/com/sun/tools/example/debug/tty/ |
| H A D | ThreadInfo.java | 279 void up(int nFrames) throws IncompatibleThreadStateException { in up() argument
280 setCurrentFrameIndex(currentFrameIndex + nFrames); in up()
292 void down(int nFrames) throws IncompatibleThreadStateException { in down() argument
293 setCurrentFrameIndex(currentFrameIndex - nFrames); in down()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.jdi/share/classes/com/sun/tools/example/debug/tty/ |
| H A D | ThreadInfo.java | 279 void up(int nFrames) throws IncompatibleThreadStateException { in up() argument
280 setCurrentFrameIndex(currentFrameIndex + nFrames); in up()
292 void down(int nFrames) throws IncompatibleThreadStateException { in down() argument
293 setCurrentFrameIndex(currentFrameIndex - nFrames); in down()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.jdi/share/classes/com/sun/tools/example/debug/tty/ |
| H A D | ThreadInfo.java | 279 void up(int nFrames) throws IncompatibleThreadStateException { in up() argument
280 setCurrentFrameIndex(currentFrameIndex + nFrames); in up()
292 void down(int nFrames) throws IncompatibleThreadStateException { in down() argument
293 setCurrentFrameIndex(currentFrameIndex - nFrames); in down()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.jdi/share/classes/com/sun/tools/example/debug/tty/ |
| H A D | ThreadInfo.java | 279 void up(int nFrames) throws IncompatibleThreadStateException { in up() argument
280 setCurrentFrameIndex(currentFrameIndex + nFrames); in up()
292 void down(int nFrames) throws IncompatibleThreadStateException { in down() argument
293 setCurrentFrameIndex(currentFrameIndex - nFrames); in down()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.jdi/share/classes/com/sun/tools/example/debug/tty/ |
| H A D | ThreadInfo.java | 279 void up(int nFrames) throws IncompatibleThreadStateException { in up() argument
280 setCurrentFrameIndex(currentFrameIndex + nFrames); in up()
292 void down(int nFrames) throws IncompatibleThreadStateException { in down() argument
293 setCurrentFrameIndex(currentFrameIndex - nFrames); in down()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.jdi/share/classes/com/sun/tools/example/debug/tty/ |
| H A D | ThreadInfo.java | 279 void up(int nFrames) throws IncompatibleThreadStateException { in up() argument
280 setCurrentFrameIndex(currentFrameIndex + nFrames); in up()
292 void down(int nFrames) throws IncompatibleThreadStateException { in down() argument
293 setCurrentFrameIndex(currentFrameIndex - nFrames); in down()
|