/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fraBmc.c | 34 int nPref; // the size of the prefix member 191 Fra_Bmc_t * Fra_BmcStart( Aig_Man_t * pAig, int nPref, int nDepth ) in Fra_BmcStart() 311 void Fra_BmcPerform( Fra_Man_t * p, int nPref, int nDepth ) in Fra_BmcPerform()
|
H A D | fraSim.c | 813 Fra_Sml_t * Fra_SmlStart( Aig_Man_t * pAig, int nPref, int nFrames, int nWordsFrame ) in Fra_SmlStart() 1021 Fra_Sml_t * Fra_SmlSimulateSeq( Aig_Man_t * pAig, int nPref, int nFrames, int nWords, int fCheckMit… in Fra_SmlSimulateSeq()
|
H A D | fraClaus.c | 37 int nPref; // the number of timeframes to skip member 1365 Clu_Man_t * Fra_ClausAlloc( Aig_Man_t * pAig, int nFrames, int nPref, int nClausesMax, int nLutSize… in Fra_ClausAlloc() 1682 int Fra_Claus( Aig_Man_t * pAig, int nFrames, int nPref, int nClausesMax, int nLutSize, int nLevels… in Fra_Claus()
|
H A D | fra.h | 174 int nPref; // the number of times frames in the prefix member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaSwitch.c | 38 int nPref; // the number of first timeframes to skip member 658 Vec_Int_t * Gia_ManComputeSwitchProbs( Gia_Man_t * pGia, int nFrames, int nPref, int fProbOne ) in Gia_ManComputeSwitchProbs() 684 Vec_Int_t * Saig_ManComputeSwitchProbs( Aig_Man_t * pAig, int nFrames, int nPref, int fProbOne ) in Saig_ManComputeSwitchProbs() 781 float Gia_ManComputeSwitching( Gia_Man_t * p, int nFrames, int nPref, int fProbOne ) in Gia_ManComputeSwitching()
|
H A D | giaGlitch.c | 635 void Gli_ManSimulateSeqPref( Gli_Man_t * p, int nPref ) in Gli_ManSimulateSeqPref()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fsim/ |
H A D | fsim.h | 65 int nPref; // the number of first timeframes to skip member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigSimFast.c | 253 int * Faig_ManSimulateFrames( Faig_Man_t * p, int nFrames, int nPref, int fTrans ) in Faig_ManSimulateFrames() 344 Vec_Int_t * Faig_ManComputeSwitchProbs4( Aig_Man_t * p, int nFrames, int nPref, int fProbOne ) in Faig_ManComputeSwitchProbs4() 438 Vec_Int_t * Saig_ManComputeSwitchProb3s( Aig_Man_t * p, int nFrames, int nPref, int fProbOne ) in Saig_ManComputeSwitchProb3s()
|
H A D | saigSwitch.c | 172 void Saig_ManSimulateFrames( Saig_SimObj_t * pAig, int nFrames, int nPref ) in Saig_ManSimulateFrames() 266 Vec_Int_t * Saig_ManComputeSwitchProb4s( Aig_Man_t * p, int nFrames, int nPref, int fProbOne ) in Saig_ManComputeSwitchProb4s()
|
H A D | saigPhase.c | 225 int Saig_TsiCountNonXValuedRegisters( Saig_Tsim_t * p, int nPref ) in Saig_TsiCountNonXValuedRegisters() 258 Vec_Int_t * Saig_TsiComputeTransient( Saig_Tsim_t * p, int nPref ) in Saig_TsiComputeTransient() 911 Aig_Man_t * Saig_ManPhaseAbstract( Aig_Man_t * p, Vec_Int_t * vInits, int nFrames, int nPref, int f… in Saig_ManPhaseAbstract()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswSim.c | 34 int nPref; // the number of timeframes in the prefix member 1148 Ssw_Sml_t * Ssw_SmlStart( Aig_Man_t * pAig, int nPref, int nFrames, int nWordsFrame ) in Ssw_SmlStart() 1248 Ssw_Sml_t * Ssw_SmlSimulateSeq( Aig_Man_t * pAig, int nPref, int nFrames, int nWords ) in Ssw_SmlSimulateSeq()
|
/dports/editors/libreoffice6/libreoffice-6.4.7.2/xmloff/source/meta/ |
H A D | xmlversion.cxx | 168 sal_uInt16 nPref, in XMLVersionContext()
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
H A D | heuristics.cpp | 839 ValueRep nPref = (defMod_ & HeuParams::mod_spos) != 0 ? trueValue(x) : falseValue(x); in addDefAction() local
|
/dports/math/clasp/clasp-3.3.5/src/ |
H A D | heuristics.cpp | 839 ValueRep nPref = (defMod_ & HeuParams::mod_spos) != 0 ? trueValue(x) : falseValue(x); in addDefAction() local
|
/dports/math/clingo/clingo-5.5.1/clasp/src/ |
H A D | heuristics.cpp | 839 ValueRep nPref = (defMod_ & HeuParams::mod_spos) != 0 ? trueValue(x) : falseValue(x); in addDefAction() local
|
/dports/biology/ncbi-toolkit/ncbi/cdromlib/ |
H A D | cdromlib.c | 1299 static CharPtr NEAR MakePath (Int2 nSdir, Int2 nPref, Int2 nSuff, Int2 nExtn) in MakePath()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcDar.c | 3662 int Abc_NtkDarClau( Abc_Ntk_t * pNtk, int nFrames, int nPref, int nClauses, int nLutSize, int nLeve… in Abc_NtkDarClau() 4067 Abc_Ntk_t * Abc_NtkPhaseAbstract( Abc_Ntk_t * pNtk, int nFrames, int nPref, int fIgnore, int fPrint… in Abc_NtkPhaseAbstract()
|
H A D | abc.c | 22747 int nFrames, nPref; in Abc_CommandDarPhase() local 27023 int nPref; in Abc_CommandIndcut() local
|