Home
last modified time | relevance | path

Searched defs:Pars (Results 1 – 25 of 83) sorted by relevance

1234

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraSec.c98 Fra_Ssw_t Pars, * pPars = &Pars; in Fra_FraigSec() local
478 Inter_ManParams_t Pars, * pPars = &Pars; in Fra_FraigSec() local
574 Saig_ParBbr_t Pars, * pPars = &Pars; in Fra_FraigSec() local
592 Pdr_Par_t Pars, * pPars = &Pars; in Fra_FraigSec() local
H A DfraCore.c444 Fra_Par_t Pars, * pPars = &Pars; in Fra_FraigChoice() local
471 Fra_Par_t Pars, * pPars = &Pars; in Fra_FraigEquivence() local
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/
H A DdarScript.c64 Dar_RwrPar_t Pars, * pPars = &Pars; in Dar_ManRewriteDefault() local
H A DdarCore.c228 Dar_RwrPar_t Pars, * pPars = &Pars; in Dar_ManComputeCuts() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswCore.c417 Ssw_Pars_t Pars; in Ssw_SignalCorrespondence() local
525 Ssw_Pars_t Pars; in Ssw_LatchCorrespondence() local
H A DsswPairs.c276 Ssw_Pars_t Pars; in Ssw_SignalCorrespondenceWithPairs() local
320 Ssw_Pars_t Pars, * pPars = &Pars; in Ssw_SignalCorrespondeceTestPairs() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/
H A Dllb4Map.c52 If_Par_t Pars, * pPars = &Pars; in Llb_AigMap() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaScript.c72 Jf_Par_t Pars, * pPars = &Pars; in Gia_ManAigSyn2() local
155 Jf_Par_t Pars, * pPars = &Pars; in Gia_ManAigSyn3() local
187 Jf_Par_t Pars, * pPars = &Pars; in Gia_ManAigSyn4() local
392 Jf_Par_t Pars, * pPars = &Pars; in Gia_ManAigSynch2() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/
H A DsscUtil.c128 Ssc_Pars_t Pars, * pPars = &Pars; in Gia_ManOptimizeRing() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A DabsOldRef.c172 Pdr_Par_t Pars, * pPars = &Pars; in Saig_ManCexRefine() local
190 Saig_ParBbr_t Pars, * pPars = &Pars; in Saig_ManCexRefine() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcBidec.c112 Bdc_Par_t Pars = {0}, * pPars = &Pars; in Abc_NtkBidecResyn() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/
H A DmfsCore_.c210 Bdc_Par_t Pars = {0}, * pDecPars = &Pars; in Abc_NtkMfs() local
H A DmfsCore.c381 Bdc_Par_t Pars = {0}, * pDecPars = &Pars; in Abc_NtkMfs() local
/dports/math/stp/stp-2.3.3/lib/ToSat/AIG/
H A DToCNFAIG.cpp67 Dar_RwrPar_t Pars, *pPars = &Pars; in dag_aware_aig_rewrite() local
/dports/databases/mariadb105-client/mariadb-10.5.15/storage/connect/
H A Darray.h128 PARRAY *Pars; // To the block of real arrays variable
/dports/databases/mariadb104-server/mariadb-10.4.24/storage/connect/
H A Darray.h128 PARRAY *Pars; // To the block of real arrays variable
/dports/databases/mariadb104-client/mariadb-10.4.24/storage/connect/
H A Darray.h128 PARRAY *Pars; // To the block of real arrays variable
/dports/databases/mariadb103-server/mariadb-10.3.34/storage/connect/
H A Darray.h128 PARRAY *Pars; // To the block of real arrays variable
/dports/databases/mariadb103-client/mariadb-10.3.34/storage/connect/
H A Darray.h128 PARRAY *Pars; // To the block of real arrays variable
/dports/databases/mariadb105-server/mariadb-10.5.15/storage/connect/
H A Darray.h128 PARRAY *Pars; // To the block of real arrays variable
/dports/math/stp/stp-2.3.3/lib/Simplifier/
H A DAIGSimplifyPropositionalCore.cpp165 Dar_RwrPar_t Pars, *pPars = &Pars; in topLevel() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/
H A DnwkBidec.c131 Bdc_Par_t Pars = {0}, * pPars = &Pars; in Nwk_ManBidecResyn() local
/dports/games/openclonk/openclonk-release-8.1-src/src/script/
H A DC4Script.cpp30 StdStrBuf FnStringFormat(C4PropList * _this, C4String *szFormatPar, C4Value * Pars, int ParCount) in FnStringFormat()
321 static C4Value FnCall(C4PropList * _this, C4Value * Pars) in FnCall()
461 static C4Value FnEffectCall(C4PropList * _this, C4Value * Pars) in FnEffectCall()
605 static C4Value FnLog(C4PropList * _this, C4Value * Pars) in FnLog()
611 static C4Value FnDebugLog(C4PropList * _this, C4Value * Pars) in FnDebugLog()
617 static C4Value FnFormat(C4PropList * _this, C4Value * Pars) in FnFormat()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/
H A DdarCore.c290 Dar_RwrPar_t Pars, * pPars = &Pars; in Dar_ManComputeCuts() local
/dports/databases/postgresql12-server/postgresql-12.9/src/include/utils/
H A Dlsyscache.h79 extern bool get_compatible_hash_operators(Oid opno, in setParams()
80 Oid *lhs_opno, Oid *rhs_opno); in setParams()

1234