Home
last modified time | relevance | path

Searched defs:pPars (Results 1 – 25 of 189) sorted by relevance

12345678

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaKf.c43 void Kf_ManSetDefaultPars( Jf_Par_t * pPars ) {} in Kf_ManSetDefaultPars()
44 Gia_Man_t * Kf_ManPerformMapping( Gia_Man_t * pGia, Jf_Par_t * pPars ) { return NULL; } in Kf_ManPerformMapping()
H A DgiaFrames.c33 Gia_ParFra_t * pPars; // parameters member
44 Gia_ParFra_t * pPars; // parameters member
225 Gia_ManUnr_t * Gia_ManUnrStart( Gia_Man_t * pAig, Gia_ParFra_t * pPars ) in Gia_ManUnrStart()
402 void * Gia_ManUnrollStart( Gia_Man_t * pAig, Gia_ParFra_t * pPars ) in Gia_ManUnrollStart()
507 Gia_Man_t * Gia_ManUnroll( Gia_Man_t * pAig, Gia_ParFra_t * pPars ) in Gia_ManUnroll()
608 Gia_Man_t * Gia_ManFrames2( Gia_Man_t * pAig, Gia_ParFra_t * pPars ) in Gia_ManFrames2()
650 Gia_ManFra_t * Gia_ManFraStart( Gia_Man_t * pAig, Gia_ParFra_t * pPars ) in Gia_ManFraStart()
727 Gia_Man_t * Gia_ManFramesInit( Gia_Man_t * pAig, Gia_ParFra_t * pPars ) in Gia_ManFramesInit()
840 Gia_Man_t * Gia_ManFrames( Gia_Man_t * pAig, Gia_ParFra_t * pPars ) in Gia_ManFrames()
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
359 …_ManAigSynch2Choices( Gia_Man_t * pGia1, Gia_Man_t * pGia2, Gia_Man_t * pGia3, Dch_Pars_t * pPars ) in Gia_ManAigSynch2Choices()
392 Jf_Par_t Pars, * pPars = &Pars; in Gia_ManAigSynch2() local
/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 DfraMan.c45 void Fra_ParamsDefault( Fra_Par_t * pPars ) in Fra_ParamsDefault()
75 void Fra_ParamsDefaultSeq( Fra_Par_t * pPars ) in Fra_ParamsDefaultSeq()
104 Fra_Man_t * Fra_ManStart( Aig_Man_t * pManAig, Fra_Par_t * pPars ) in Fra_ManStart()
H A DfraCore.c375 Aig_Man_t * Fra_FraigPerform( Aig_Man_t * pManAig, Fra_Par_t * pPars ) in Fra_FraigPerform()
444 Fra_Par_t Pars, * pPars = &Pars; in Fra_FraigChoice() local
471 Fra_Par_t Pars, * pPars = &Pars; in Fra_FraigEquivence() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A DcecMan.c45 Cec_ManSat_t * Cec_ManSatCreate( Gia_Man_t * pAig, Cec_ParSat_t * pPars ) in Cec_ManSatCreate()
198 Cec_ManSim_t * Cec_ManSimStart( Gia_Man_t * pAig, Cec_ParSim_t * pPars ) in Cec_ManSimStart()
262 Cec_ManFra_t * Cec_ManFraStart( Gia_Man_t * pAig, Cec_ParFra_t * pPars ) in Cec_ManFraStart()
H A DcecCore.c235 Gia_Man_t * Cec_ManSatSolving( Gia_Man_t * pAig, Cec_ParSat_t * pPars ) in Cec_ManSatSolving()
260 int Cec_ManSimulationOne( Gia_Man_t * pAig, Cec_ParSim_t * pPars ) in Cec_ManSimulationOne()
287 void Cec_ManSimulation( Gia_Man_t * pAig, Cec_ParSim_t * pPars ) in Cec_ManSimulation()
340 Gia_Man_t * Cec_ManSatSweeping( Gia_Man_t * pAig, Cec_ParFra_t * pPars, int fSilent ) in Cec_ManSatSweeping()
H A DcecChoice.c201 int Cec_ManChoiceComputation_int( Gia_Man_t * pAig, Cec_ParChc_t * pPars ) in Cec_ManChoiceComputation_int()
313 Gia_Man_t * Cec_ManChoiceComputationVec( Gia_Man_t * pGia, int nGias, Cec_ParChc_t * pPars ) in Cec_ManChoiceComputationVec()
351 Dch_Pars_t Pars, * pPars = &Pars; in Cec_ManChoiceComputation() local
385 Aig_Man_t * Cec_ComputeChoices( Gia_Man_t * pGia, Dch_Pars_t * pPars ) in Cec_ComputeChoices()
H A DcecCec.c142 int Cec_ManHandleSpecialCases( Gia_Man_t * p, Cec_ParCec_t * pPars ) in Cec_ManHandleSpecialCases()
226 int Cec_ManVerifyNaive( Gia_Man_t * p, Cec_ParCec_t * pPars ) in Cec_ManVerifyNaive()
326 int Cec_ManVerify( Gia_Man_t * pInit, Cec_ParCec_t * pPars ) in Cec_ManVerify()
428 Cec_ParCec_t ParsCec, * pPars = &ParsCec; in Cec_ManVerifySimple() local
449 Cec_ParCec_t ParsCec, * pPars = &ParsCec; in Cec_ManVerifyTwo() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/
H A DlpkMan.c45 Lpk_Man_t * Lpk_ManStart( Lpk_Par_t * pPars ) in Lpk_ManStart()
107 void * pPars = p->pIfMan->pPars; in Lpk_ManStop() local
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/
H A DdarCore.c60 void Dar_ManDefaultRwrParams( Dar_RwrPar_t * pPars ) in Dar_ManDefaultRwrParams()
83 int Dar_ManRewrite( Aig_Man_t * pAig, Dar_RwrPar_t * pPars ) in Dar_ManRewrite()
228 Dar_RwrPar_t Pars, * pPars = &Pars; in Dar_ManComputeCuts() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/
H A DsscCore.c80 Ssc_Man_t * Ssc_ManStart( Gia_Man_t * pAig, Gia_Man_t * pCare, Ssc_Pars_t * pPars ) in Ssc_ManStart()
226 Cec_ParCec_t ParsCec, * pPars = &ParsCec; in Ssc_PerformVerification() local
264 Gia_Man_t * Ssc_PerformSweepingInt( Gia_Man_t * pAig, Gia_Man_t * pCare, Ssc_Pars_t * pPars ) in Ssc_PerformSweepingInt()
413 Gia_Man_t * Ssc_PerformSweeping( Gia_Man_t * pAig, Gia_Man_t * pCare, Ssc_Pars_t * pPars ) in Ssc_PerformSweeping()
420 Gia_Man_t * Ssc_PerformSweepingConstr( Gia_Man_t * p, Ssc_Pars_t * pPars ) in Ssc_PerformSweepingConstr()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/
H A DmpmCore.c75 Gia_Man_t * Mpm_ManPerformLutMapping( Mig_Man_t * pMig, Mpm_Par_t * pPars ) in Mpm_ManPerformLutMapping()
90 Gia_Man_t * Mpm_ManLutMapping( Gia_Man_t * pGia, Mpm_Par_t * pPars ) in Mpm_ManLutMapping()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/
H A DdchCore.c89 Aig_Man_t * Dch_ComputeChoices( Aig_Man_t * pAig, Dch_Pars_t * pPars ) in Dch_ComputeChoices()
134 void Dch_ComputeEquivalences( Aig_Man_t * pAig, Dch_Pars_t * pPars ) in Dch_ComputeEquivalences()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswPairs.c272 …s( Aig_Man_t * pAig1, Aig_Man_t * pAig2, Vec_Int_t * vIds1, Vec_Int_t * vIds2, Ssw_Pars_t * pPars ) in Ssw_SignalCorrespondenceWithPairs()
320 Ssw_Pars_t Pars, * pPars = &Pars; in Ssw_SignalCorrespondeceTestPairs() local
380 …s( Aig_Man_t * pAig1, Aig_Man_t * pAig2, Vec_Int_t * vIds1, Vec_Int_t * vIds2, Ssw_Pars_t * pPars ) in Ssw_SecWithPairs()
415 int Ssw_SecGeneral( Aig_Man_t * pAig1, Aig_Man_t * pAig2, Ssw_Pars_t * pPars ) in Ssw_SecGeneral()
452 int Ssw_SecGeneralMiter( Aig_Man_t * pMiter, Ssw_Pars_t * pPars ) in Ssw_SecGeneralMiter()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/
H A Dllb1Core.c112 int Llb_ManModelCheckAig( Aig_Man_t * pAigGlo, Gia_ParLlb_t * pPars, Vec_Int_t * vHints, DdManager … in Llb_ManModelCheckAig()
197 int Llb_ManModelCheckGia( Gia_Man_t * pGia, Gia_ParLlb_t * pPars ) in Llb_ManModelCheckGia()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/
H A DmfsCore.c47 void Abc_NtkMfsParsDefault( Mfs_Par_t * pPars ) in Abc_NtkMfsParsDefault()
154 void Abc_NtkMfsPowerResub( Mfs_Man_t * p, Mfs_Par_t * pPars) in Abc_NtkMfsPowerResub()
377 int Abc_NtkMfs( Abc_Ntk_t * pNtk, Mfs_Par_t * pPars ) in Abc_NtkMfs()
H A DmfsCore_.c45 void Abc_NtkMfsParsDefault( Mfs_Par_t * pPars ) in Abc_NtkMfsParsDefault()
206 int Abc_NtkMfs( Abc_Ntk_t * pNtk, Mfs_Par_t * pPars ) in Abc_NtkMfs()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/
H A DdarCore.c51 void Dar_ManDefaultRwrParams( Dar_RwrPar_t * pPars ) in Dar_ManDefaultRwrParams()
78 int Dar_ManRewrite( Aig_Man_t * pAig, Dar_RwrPar_t * pPars ) in Dar_ManRewrite()
290 Dar_RwrPar_t Pars, * pPars = &Pars; in Dar_ManComputeCuts() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A Dfahout_cut.c142 …Abc_Obj_t * pLut, Vec_Ptr_t * vStart, Vec_Ptr_t * vNext, Vec_Ptr_t * vCands, Nwk_LMPars_t * pPars ) in Abc_NtkCollectNonOverlapCands()
232 void Abc_NtkCollectOverlapCands( Abc_Obj_t * pLut, Vec_Ptr_t * vCands, Nwk_LMPars_t * pPars ) in Abc_NtkCollectOverlapCands()
282 Vec_Int_t * Abc_NtkLutMerge( Abc_Ntk_t * pNtk, Nwk_LMPars_t * pPars ) in Abc_NtkLutMerge()
H A DabcMerge.c142 …Abc_Obj_t * pLut, Vec_Ptr_t * vStart, Vec_Ptr_t * vNext, Vec_Ptr_t * vCands, Nwk_LMPars_t * pPars ) in Abc_NtkCollectNonOverlapCands()
232 void Abc_NtkCollectOverlapCands( Abc_Obj_t * pLut, Vec_Ptr_t * vCands, Nwk_LMPars_t * pPars ) in Abc_NtkCollectOverlapCands()
282 Vec_Int_t * Abc_NtkLutMerge( Abc_Ntk_t * pNtk, Nwk_LMPars_t * pPars ) in Abc_NtkLutMerge()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/
H A DnwkMap.c46 void Nwk_ManSetIfParsDefault( If_Par_t * pPars ) in Nwk_ManSetIfParsDefault()
103 If_Man_t * Nwk_ManToIf( Aig_Man_t * p, If_Par_t * pPars, Vec_Ptr_t * vAigToIf ) in Nwk_ManToIf()
360 Nwk_Man_t * Nwk_MappingIf( Aig_Man_t * p, Tim_Man_t * pManTime, If_Par_t * pPars ) in Nwk_MappingIf()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cgt/
H A DcgtCore.c245 Vec_Vec_t * Cgt_ClockGatingCandidates( Aig_Man_t * pAig, Aig_Man_t * pCare, Cgt_Par_t * pPars, Vec_… in Cgt_ClockGatingCandidates()
287 Vec_Vec_t * Cgt_ClockGatingInt( Aig_Man_t * pAig, Aig_Man_t * pCare, Cgt_Par_t * pPars, Vec_Int_t *… in Cgt_ClockGatingInt()
298 Aig_Man_t * Cgt_ClockGating( Aig_Man_t * pAig, Aig_Man_t * pCare, Cgt_Par_t * pPars ) in Cgt_ClockGating()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/
H A DsfmCore.c45 void Sfm_ParSetDefault( Sfm_Par_t * pPars ) in Sfm_ParSetDefault()
293 int Sfm_NtkPerform( Sfm_Ntk_t * p, Sfm_Par_t * pPars ) in Sfm_NtkPerform()

12345678