Home
last modified time | relevance | path

Searched defs:fReverse (Results 1 – 25 of 65) sorted by relevance

123

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcOrder.c47 void Abc_NtkFindCiOrder( Abc_Ntk_t * pNtk, int fReverse, int fVerbose ) in Abc_NtkFindCiOrder()
66 void Abc_NtkImplementCiOrder( Abc_Ntk_t * pNtk, char * pFileName, int fReverse, int fVerbose ) in Abc_NtkImplementCiOrder()
108 void Abc_NtkChangeCiOrder( Abc_Ntk_t * pNtk, Vec_Ptr_t * vSupp, int fReverse ) in Abc_NtkChangeCiOrder()
H A DabcCollapse.c121 …Obj_t * Abc_NodeFromGlobalBdds( Abc_Ntk_t * pNtkNew, DdManager * dd, DdNode * bFunc, int fReverse ) in Abc_NodeFromGlobalBdds()
134 Abc_Ntk_t * Abc_NtkFromGlobalBdds( Abc_Ntk_t * pNtk, int fReverse ) in Abc_NtkFromGlobalBdds()
198 …lapse( Abc_Ntk_t * pNtk, int fBddSizeMax, int fDualRail, int fReorder, int fReverse, int fVerbose ) in Abc_NtkCollapse()
717 …aOne( Gia_Man_t * p, int iCo, int nCubeLim, int nBTLimit, int fCanon, int fReverse, Vec_Int_t * vS… in Abc_NtkClpGiaOne()
736 …pCnf, Gia_Man_t * p, int iCo, int nCubeLim, int nBTLimit, int fCanon, int fReverse, Vec_Int_t * vS… in Abc_NtkClpGiaOne2()
775 …Wec_t * vSupps, int nCubeLim, int nBTLimit, int nCostMax, int fCanon, int fReverse, int fCnfShared… in Abc_GiaDeriveSops()
859 …c_Ntk_t * pNtk, int nCubeLim, int nBTLimit, int nCostMax, int fCanon, int fReverse, int fCnfShared… in Abc_NtkFromSopsInt()
932 …c_Ntk_t * pNtk, int nCubeLim, int nBTLimit, int nCostMax, int fCanon, int fReverse, int fCnfShared… in Abc_NtkCollapseSat()
H A DabcNtbdd.c312 …s( Abc_Ntk_t * pNtk, int nBddSizeMax, int fDropInternal, int fReorder, int fReverse, int fVerbose ) in Abc_NtkBuildGlobalBdds()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcClp.c665 …llapseOneInt2( Gia_Man_t * p, int nCubeLim, int nBTLimit, int fCanon, int fReverse, int fVerbose, … in Bmc_CollapseOneInt2()
823 …ollapseOneOld2( Gia_Man_t * p, int nCubeLim, int nBTLimit, int fCanon, int fReverse, int fVerbose ) in Bmc_CollapseOneOld2()
864 Vec_Str_t * Bmc_CollapseOneOld( Gia_Man_t * p, int nCubeLim, int nBTLimit, int fCanon, int fReverse… in Bmc_CollapseOneOld()
1040 …sat_solver * pSat3, int nVars, int nCubeLim, int nBTLimit, int fCanon, int fReverse, int fVerbose ) in Bmc_CollapseOne_int3()
1198 Vec_Str_t * Bmc_CollapseOne3( Gia_Man_t * p, int nCubeLim, int nBTLimit, int fCanon, int fReverse, … in Bmc_CollapseOne3()
1226 …sat_solver * pSat2, int nVars, int nCubeLim, int nBTLimit, int fCanon, int fReverse, int fVerbose ) in Bmc_CollapseOne_int2()
1389 … sat_solver * pSat, int nVars, int nCubeLim, int nBTLimit, int fCanon, int fReverse, int fVerbose ) in Bmc_CollapseOne_int()
1532 Vec_Str_t * Bmc_CollapseOne( Gia_Man_t * p, int nCubeLim, int nBTLimit, int fCanon, int fReverse, i… in Bmc_CollapseOne()
H A DbmcICheck.c370 int Bmc_PerformISearchOne( Gia_Man_t * p, int nFramesMax, int nTimeOut, int fReverse, int fBackTopo… in Bmc_PerformISearchOne()
489 Vec_Int_t * Bmc_PerformISearch( Gia_Man_t * p, int nFramesMax, int nTimeOut, int fReverse, int fBac… in Bmc_PerformISearch()
H A DbmcExpand.c92 int fReverse = 0; in Abc_ObjExpandCubes() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaFx.c139 Vec_Wrd_t * Gia_ManComputeTruths( Gia_Man_t * p, int nCutSize, int nLutNum, int fReverse ) in Gia_ManComputeTruths()
190 Vec_Wec_t * Gia_ManFxRetrieve( Gia_Man_t * p, Vec_Str_t ** pvCompl, int 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()
H A DgiaSplit.c38 int fReverse; // enable reverse search member
110 Spl_Man_t * Spl_ManAlloc( Gia_Man_t * pGia, int Limit, int fReverse ) in Spl_ManAlloc()
541 void Gia_ManComputeOneWinStart( Gia_Man_t * pGia, int nAnds, int fReverse ) in Gia_ManComputeOneWinStart()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.team/bundles/org.eclipse.compare.core/src/org/eclipse/compare/patch/
H A DPatchConfiguration.java32 private boolean fReverse= false; field in PatchConfiguration
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcMinBase.c434 int Abc_NtkEliminate( Abc_Ntk_t * pNtk, int nMaxSize, int fReverse, int fVerbose ) in Abc_NtkEliminate()
602 int Abc_NtkEliminate1One( Abc_Ntk_t * pNtk, int ElimValue, int nMaxSize, int fReverse, int fVerbose… in Abc_NtkEliminate1One()
668 int Abc_NtkEliminate1( Abc_Ntk_t * pNtk, int ElimValue, int nMaxSize, int nIterMax, int fReverse, i… in Abc_NtkEliminate1()
/dports/net/samba412/samba-4.12.15/source4/rpc_server/dnsserver/
H A Ddnsutils.c223 uint32_t fReverse; in dnsserver_init_zoneinfo() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/
H A DvecWec.h459 static inline void Vec_WecSort( Vec_Wec_t * p, int fReverse ) in Vec_WecSort()
497 static inline void Vec_WecSortByFirstInt( Vec_Wec_t * p, int fReverse ) in Vec_WecSortByFirstInt()
534 static inline void Vec_WecSortByLastInt( Vec_Wec_t * p, int fReverse ) in Vec_WecSortByLastInt()
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/
H A DdarPrec.c221 unsigned Dar_TruthPermute( unsigned Truth, char * pPerms, int nVars, int fReverse ) in Dar_TruthPermute()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/
H A DdarPrec.c206 unsigned Dar_TruthPermute( unsigned Truth, char * pPerms, int nVars, int fReverse ) in Dar_TruthPermute()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/msat/
H A DmsatVec.c442 void Msat_IntVecSort( Msat_IntVec_t * p, int fReverse ) in Msat_IntVecSort()
/dports/math/stp/stp-2.3.3/lib/extlib-abc/
H A DvecStr.h585 static inline void Vec_StrSort( Vec_Str_t * p, int fReverse ) in Vec_StrSort()
/dports/net/tigervnc-server/tigervnc-1.12.0/unix/xserver/hw/xwin/
H A Dwincursor.c155 BOOL fReverse; in winLoadCursor() local
/dports/x11-servers/xwayland/xorg-server-1.20.13/hw/xwin/
H A Dwincursor.c155 BOOL fReverse; in winLoadCursor() local
/dports/x11-servers/xorg-dmx/xorg-server-1.20.13/hw/xwin/
H A Dwincursor.c155 BOOL fReverse; in winLoadCursor() local
/dports/x11-servers/xorg-nestserver/xorg-server-1.20.13/hw/xwin/
H A Dwincursor.c155 BOOL fReverse; in winLoadCursor() local
/dports/x11-servers/xwayland-devel/xorg-xserver-xorg-server-21.0.99.1-177-g9e5a37961/hw/xwin/
H A Dwincursor.c155 BOOL fReverse; in winLoadCursor() local
/dports/x11-servers/xorg-server/xorg-server-1.20.13/hw/xwin/
H A Dwincursor.c155 BOOL fReverse; in winLoadCursor() local
/dports/x11-servers/xephyr/xorg-server-1.20.13/hw/xwin/
H A Dwincursor.c155 BOOL fReverse; in winLoadCursor() local
/dports/x11-servers/xarcan/xarcan-0.6.0/hw/xwin/
H A Dwincursor.c155 BOOL fReverse; in winLoadCursor() local
/dports/x11-servers/xorg-vfbserver/xorg-server-1.20.13/hw/xwin/
H A Dwincursor.c155 BOOL fReverse; in winLoadCursor() local

123