| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcOrder.c | 30 static void Abc_NtkChangeCiOrder( Abc_Ntk_t * pNtk, Vec_Ptr_t * vSupp, int fReverse );
47 void Abc_NtkFindCiOrder( Abc_Ntk_t * pNtk, int fReverse, int fVerbose ) in Abc_NtkFindCiOrder() argument
51 Abc_NtkChangeCiOrder( pNtk, vSupp, fReverse ); in Abc_NtkFindCiOrder()
66 void Abc_NtkImplementCiOrder( Abc_Ntk_t * pNtk, char * pFileName, int fReverse, int fVerbose ) in Abc_NtkImplementCiOrder() argument
93 Abc_NtkChangeCiOrder( pNtk, vSupp, fReverse ); in Abc_NtkImplementCiOrder()
108 void Abc_NtkChangeCiOrder( Abc_Ntk_t * pNtk, Vec_Ptr_t * vSupp, int fReverse ) in Abc_NtkChangeCiOrder() argument
114 if ( fReverse ) in Abc_NtkChangeCiOrder()
|
| H A D | abcCollapse.c | 121 …Obj_t * Abc_NodeFromGlobalBdds( Abc_Ntk_t * pNtkNew, DdManager * dd, DdNode * bFunc, int fReverse ) in Abc_NodeFromGlobalBdds() argument
134 Abc_Ntk_t * Abc_NtkFromGlobalBdds( Abc_Ntk_t * pNtk, int fReverse ) in Abc_NtkFromGlobalBdds() argument
191 … pNodeNew = Abc_NodeFromGlobalBdds( pNtkNew, dd, (DdNode *)Abc_ObjGlobalBdd(pNode), fReverse ); in Abc_NtkFromGlobalBdds()
205 if ( Abc_NtkBuildGlobalBdds(pNtk, fBddSizeMax, 1, fReorder, fReverse, fVerbose) == NULL ) in Abc_NtkCollapse()
215 pNtkNew = Abc_NtkFromGlobalBdds( pNtk, fReverse ); in Abc_NtkCollapse()
305 vSop = Bmc_CollapseOne( pGia, nCubeLim, nBTLimit, fCanon, fReverse, fVerbose );
404 vSop = Abc_NtkClpOne( pNtk, iCo, nCubeLim, nBTLimit, fVerbose, fCanon, fReverse, vSupp );
517 pNtkNew = Abc_NtkFromSops( pNtk, nCubeLim, nBTLimit, nCostMax, fCanon, fReverse, fVerbose );
725 vSop = Bmc_CollapseOneOld( pGia, nCubeLim, nBTLimit, fCanon, fReverse, fVerbose ); in Abc_NtkClpGiaOne()
760 …vSop = Bmc_CollapseOne_int( pSat, Vec_IntSize(vSupp), nCubeLim, nBTLimit, fCanon, fReverse, fVerbo… in Abc_NtkClpGiaOne2()
[all …]
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.team/bundles/org.eclipse.compare.core/src/org/eclipse/compare/patch/ |
| H A D | PatchConfiguration.java | 32 private boolean fReverse= false; field in PatchConfiguration
41 return this.fReverse; in isReversed()
49 this.fReverse = reversed; in setReversed()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcClp.c | 687 if ( fReverse ) in Bmc_CollapseOneInt2()
789 if ( fReverse ) in Bmc_CollapseOneInt2()
828 vSopOn = Bmc_CollapseOneInt2( p, nCubeLim, nBTLimit, fCanon, fReverse, fVerbose, 0 ); in Bmc_CollapseOneOld2()
883 if ( fReverse ) in Bmc_CollapseOneOld()
967 if ( fReverse ) in Bmc_CollapseOneOld()
1058 if ( fReverse ) in Bmc_CollapseOne_int3()
1142 if ( fReverse ) in Bmc_CollapseOne_int3()
1247 if ( fReverse ) in Bmc_CollapseOne_int2()
1321 if ( fReverse ) in Bmc_CollapseOne_int2()
1409 if ( fReverse ) in Bmc_CollapseOne_int()
[all …]
|
| H A D | bmcICheck.c | 370 int Bmc_PerformISearchOne( Gia_Man_t * p, int nFramesMax, int nTimeOut, int fReverse, int fBackTopo… in Bmc_PerformISearchOne() argument
436 if ( fReverse ) in Bmc_PerformISearchOne()
489 Vec_Int_t * Bmc_PerformISearch( Gia_Man_t * p, int nFramesMax, int nTimeOut, int fReverse, int fBac… in Bmc_PerformISearch() argument
495 …Gia_ManName(p), Gia_ManAndNum(p), Gia_ManRegNum(p), fReverse ? "reverse":"direct", fBackTopo ? "ba… in Bmc_PerformISearch()
504 if ( Bmc_PerformISearchOne( p, f, nTimeOut, fReverse, fBackTopo, fVerbose, vLits ) ) in Bmc_PerformISearch()
|
| H A D | bmcExpand.c | 92 int fReverse = 0; in Abc_ObjExpandCubes() local
119 if ( fReverse ) in Abc_ObjExpandCubes()
|
| /dports/net/samba412/samba-4.12.15/source4/rpc_server/dnsserver/ |
| H A D | dnsutils.c | 223 uint32_t fReverse; in dnsserver_init_zoneinfo() local
236 fReverse = 0; in dnsserver_init_zoneinfo()
240 fReverse = 1; in dnsserver_init_zoneinfo()
244 fReverse = 1; in dnsserver_init_zoneinfo()
268 zoneinfo->fReverse = fReverse; in dnsserver_init_zoneinfo()
|
| /dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/app/oligofar/ |
| H A D | csamalignments.cpp | 653 fReverse = 0x20, in AdjustAlignment() enumerator
666 case fSbjMode|fReverse: in AdjustAlignment()
670 case fSbjMode|fReverse|fFromLt0: in AdjustAlignment()
672 case fQryMode|fReverse|fToMore0: in AdjustAlignment()
678 case fSbjMode|fReverse|fFromLt0: in AdjustAlignment()
705 case fSbjMode|fReverse|fToMore0: in AdjustAlignment()
707 case fQryMode|fReverse|fFromLt0: in AdjustAlignment()
739 case fSbjMode|fReverse|fFromGt0: in AdjustAlignment()
741 case fQryMode|fReverse|fToLess0: in AdjustAlignment()
834 case fSbjMode|fReverse|fToLess0: in AdjustAlignment()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaSplit.c | 38 int fReverse; // enable reverse search member
110 Spl_Man_t * Spl_ManAlloc( Gia_Man_t * pGia, int Limit, int fReverse ) in Spl_ManAlloc() argument
116 p->fReverse = fReverse; in Spl_ManAlloc()
348 if ( p->fReverse && (Vec_IntSize(p->vNodes) & 1) ) in Spl_ManFindOne()
541 void Gia_ManComputeOneWinStart( Gia_Man_t * pGia, int nAnds, int fReverse ) in Gia_ManComputeOneWinStart() argument
544 pGia->pSatlutWinman = Spl_ManAlloc( pGia, nAnds, fReverse ); in Gia_ManComputeOneWinStart()
|
| H A D | giaFx.c | 139 Vec_Wrd_t * Gia_ManComputeTruths( Gia_Man_t * p, int nCutSize, int nLutNum, int fReverse ) in Gia_ManComputeTruths() argument
155 if ( !fReverse ) in Gia_ManComputeTruths()
190 Vec_Wec_t * Gia_ManFxRetrieve( Gia_Man_t * p, Vec_Str_t ** pvCompl, int fReverse ) in Gia_ManFxRetrieve() argument
202 vTruths = Gia_ManComputeTruths( p, nCutSize, nItems - Gia_ManCiNum(p), fReverse ); in Gia_ManFxRetrieve()
456 Gia_Man_t * Gia_ManPerformFx( Gia_Man_t * p, int nNewNodesMax, int LitCountMax, int fReverse, int f… in Gia_ManPerformFx() argument
467 vCubes = Gia_ManFxRetrieve( p, &vCompl, fReverse ); in Gia_ManPerformFx()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abcMinBase.c | 434 int Abc_NtkEliminate( Abc_Ntk_t * pNtk, int nMaxSize, int fReverse, int fVerbose ) in Abc_NtkEliminate() argument
454 vNodes = fReverse? Abc_NtkDfsReverse( pNtk ) : Abc_NtkDfs( pNtk, 0 ); in Abc_NtkEliminate()
602 int Abc_NtkEliminate1One( Abc_Ntk_t * pNtk, int ElimValue, int nMaxSize, int fReverse, int fVerbose… in Abc_NtkEliminate1One() argument
617 vNodes = fReverse? Abc_NtkDfsReverse( pNtk ) : Abc_NtkDfs( pNtk, 0 ); in Abc_NtkEliminate1One()
668 int Abc_NtkEliminate1( Abc_Ntk_t * pNtk, int ElimValue, int nMaxSize, int nIterMax, int fReverse, i… in Abc_NtkEliminate1() argument
675 if ( !Abc_NtkEliminate1One(pNtk, ElimValue, nMaxSize, fReverse, fVerbose) ) in Abc_NtkEliminate1()
830 int Abc_NtkEliminate( Abc_Ntk_t * pNtk, int nMaxSize, int fReverse, int fVerbose ) { return 0; }
831 int Abc_NtkEliminate1( Abc_Ntk_t * pNtk, int ElimValue, int nMaxSize, int nIterMax, int fReverse, i…
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/ |
| H A D | vecWec.h | 459 static inline void Vec_WecSort( Vec_Wec_t * p, int fReverse ) in Vec_WecSort() argument
461 if ( fReverse ) in Vec_WecSort()
497 static inline void Vec_WecSortByFirstInt( Vec_Wec_t * p, int fReverse ) in Vec_WecSortByFirstInt() argument
499 if ( fReverse ) in Vec_WecSortByFirstInt()
534 static inline void Vec_WecSortByLastInt( Vec_Wec_t * p, int fReverse ) in Vec_WecSortByLastInt() argument
536 if ( fReverse ) in Vec_WecSortByLastInt()
|
| /dports/www/firefox-esr/firefox-91.8.0/gfx/skia/skia/src/pathops/ |
| H A D | SkOpContour.h | 296 next->fReverse = false; in resetReverse()
301 return fReverse; in reversed()
335 fReverse = true; in setReverse()
384 bool fReverse; // true if contour should be reverse written to path (used only by fix winding) variable
|
| H A D | SkPathOpsAsWinding.cpp | 35 bool fReverse{false}; member
320 child->fReverse = true; in markReverse()
332 SkPath* temp = contour.fReverse ? &reverse : result; in reverseMarkedContours()
360 if (contour.fReverse) { in reverseMarkedContours()
|
| /dports/lang/spidermonkey78/firefox-78.9.0/gfx/skia/skia/src/pathops/ |
| H A D | SkOpContour.h | 296 next->fReverse = false; in resetReverse()
301 return fReverse; in reversed()
335 fReverse = true; in setReverse()
384 bool fReverse; // true if contour should be reverse written to path (used only by fix winding) variable
|
| H A D | SkPathOpsAsWinding.cpp | 35 bool fReverse{false}; member
320 child->fReverse = true; in markReverse()
332 SkPath* temp = contour.fReverse ? &reverse : result; in reverseMarkedContours()
360 if (contour.fReverse) { in reverseMarkedContours()
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/skia/src/pathops/ |
| H A D | SkOpContour.h | 296 next->fReverse = false; in resetReverse()
301 return fReverse; in reversed()
335 fReverse = true; in setReverse()
384 bool fReverse; // true if contour should be reverse written to path (used only by fix winding) variable
|
| H A D | SkPathOpsAsWinding.cpp | 35 bool fReverse{false}; member
320 child->fReverse = true; in markReverse()
332 SkPath* temp = contour.fReverse ? &reverse : result; in reverseMarkedContours()
360 if (contour.fReverse) { in reverseMarkedContours()
|
| /dports/www/firefox/firefox-99.0/gfx/skia/skia/src/pathops/ |
| H A D | SkOpContour.h | 296 next->fReverse = false; in resetReverse()
301 return fReverse; in reversed()
335 fReverse = true; in setReverse()
384 bool fReverse; // true if contour should be reverse written to path (used only by fix winding) variable
|
| H A D | SkPathOpsAsWinding.cpp | 35 bool fReverse{false}; member
320 child->fReverse = true; in markReverse()
332 SkPath* temp = contour.fReverse ? &reverse : result; in reverseMarkedContours()
360 if (contour.fReverse) { in reverseMarkedContours()
|
| /dports/mail/thunderbird/thunderbird-91.8.0/gfx/skia/skia/src/pathops/ |
| H A D | SkOpContour.h | 296 next->fReverse = false; in resetReverse()
301 return fReverse; in reversed()
335 fReverse = true; in setReverse()
384 bool fReverse; // true if contour should be reverse written to path (used only by fix winding) variable
|
| H A D | SkPathOpsAsWinding.cpp | 35 bool fReverse{false}; member
320 child->fReverse = true; in markReverse()
332 SkPath* temp = contour.fReverse ? &reverse : result; in reverseMarkedContours()
360 if (contour.fReverse) { in reverseMarkedContours()
|
| /dports/lang/spidermonkey60/firefox-60.9.0/gfx/skia/skia/src/pathops/ |
| H A D | SkOpContour.h | 296 next->fReverse = false; in resetReverse()
301 return fReverse; in reversed()
335 fReverse = true; in setReverse()
384 bool fReverse; // true if contour should be reverse written to path (used only by fix winding) variable
|
| /dports/www/firefox-legacy/firefox-52.8.0esr/gfx/skia/skia/src/pathops/ |
| H A D | SkOpContour.h | 298 next->fReverse = false; in resetReverse()
303 return fReverse; in reversed()
337 fReverse = true; in setReverse()
385 bool fReverse; // true if contour should be reverse written to path (used only by fix winding) variable
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/skia/src/pathops/ |
| H A D | SkOpContour.h | 295 next->fReverse = false; in resetReverse()
300 return fReverse; in reversed()
334 fReverse = true; in setReverse()
383 bool fReverse; // true if contour should be reverse written to path (used only by fix winding) variable
|