| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswSat.c | 48 int pLits[3], nLits, RetValue, RetValue1; in Ssw_NodesAreEquiv() local
198 int pLits[2], RetValue, fComplNew; in Ssw_NodesAreConstrained() local
288 int RetValue, Lit; in Ssw_NodeIsConstrained() local
|
| H A D | sswPairs.c | 323 int RetValue, i; in Ssw_SignalCorrespondeceTestPairs() local
383 int RetValue; in Ssw_SecWithPairs() local
418 int RetValue; in Ssw_SecGeneral() local
455 int RetValue; in Ssw_SecGeneralMiter() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
| H A D | pdrIncr.c | 46 int i, j, m, RetValue; in IPdr_ManPushClausesK() local
148 int j, k, RetValue, kMax = Vec_PtrSize(p->vSolvers); in IPdr_ManCheckClauses() local
261 int RetValue = -1; in IPdr_ManRebuildClauses() local
379 int iFrame, RetValue = -1; in IPdr_ManSolveInt() local
795 int k, RetValue; in IPdr_ManSolve() local
873 int iFrame, RetValue = -1; in IPdr_ManCheckCombUnsat() local
889 int Lit, RetValue = l_True; in IPdr_ManCheckCubeReduce() local
973 int iFrame, RetValue = -1; in IPdr_ManReduceClauses() local
1000 int RetValue = -1; in Abc_NtkDarIPdr() local
|
| H A D | pdrCore.c | 153 int i, j, k, m, RetValue = 0, RetValue2, kMax = Vec_PtrSize(p->vSolvers)-1; in Pdr_ManPushClauses() local
321 int i, j, Lit, RetValue; in ZPdr_ManSimpleMic() local
376 int RetValue = 0, CtgRetValue, i, ctgAttempts, l, micResult; in ZPdr_ManDown() local
684 int i, j, Lit, RetValue; in Pdr_ManGeneralize() local
898 int i, k, RetValue, Prio = ABC_INFINITY, Counter = 0; in Pdr_ManBlockCube() local
1046 int iFrame, RetValue = -1; in Pdr_ManSolveInt() local
1396 int k, RetValue; in Pdr_ManSolve() local
|
| H A D | pdrSat.c | 183 int Lit, RetValue, i; in Pdr_ManSetPropertyOutput() local
217 int RetValue; in Pdr_ManSolverAddClause() local
267 int RetValue; in Pdr_ManCheckCubeCs() local
296 int Lit, RetValue; in Pdr_ManCheckCube() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraCec.c | 56 int status, RetValue = 0; in Fra_FraigSat() local
168 int status, RetValue = 0; in Fra_FraigSat() local
328 int i, RetValue; in Fra_FraigCec() local
455 int i, RetValue = 1, nOutputs; in Fra_FraigCecPartitioned() local
517 int RetValue; in Fra_FraigCecTop() local
|
| H A D | fraSat.c | 50 int pLits[4], RetValue, RetValue1, nBTLimit; in Fra_NodesAreEquiv() local
211 int pLits[4], RetValue, RetValue1, nBTLimit; in Fra_NodesAreImp() local
319 int pLits[4], RetValue, RetValue1, nBTLimit; in Fra_NodesAreClause() local
427 int pLits[2], RetValue1, RetValue; in Fra_NodeIsConst() local
|
| /dports/misc/mxnet/incubator-mxnet-1.9.0/3rdparty/tvm/rust/tvm-sys/src/ |
| H A D | lib.rs | 61 impl<T, E> std::convert::TryFrom<Result<T, E>> for RetValue implementation
68 fn try_from(val: Result<T, E>) -> Result<RetValue, Self::Error> { in try_from()
|
| /dports/misc/mxnet/incubator-mxnet-1.9.0/3rdparty/tvm/rust/tvm-rt/src/ |
| H A D | array.rs | 71 pub fn get(&self, index: isize) -> Result<T> in get()
90 impl<T: IsObjectRef> From<Array<T>> for RetValue { implementation
91 fn from(array: Array<T>) -> RetValue { in from()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/ |
| H A D | llb1Core.c | 116 int RetValue = -1; in Llb_ManModelCheckAig() local
201 int RetValue = -1; in Llb_ManModelCheckGia() local
|
| H A D | llb1Cluster.c | 74 int i, k, WeightBest = -100000, WeightCur, RetValue = -1; in Llb_ManComputeBestQuant() local
167 int i, k, RetValue = -1; in Llb_ManComputeBestAttr() local
326 int RetValue; in Llb_ManCluster() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcXsim.c | 61 int RetValue; in Abc_XsimRand3() local
70 int RetValue; in Abc_ObjGetXsimFanin0() local
76 int RetValue; in Abc_ObjGetXsimFanin1() local
|
| H A D | abcSat.c | 60 int RetValue = 0; in Abc_NtkMiterSat() local
422 int RetValue, i; in Abc_NtkCollectSupergate() local
476 int RetValue = 0; in Abc_NtkMiterSatCreateInt() local
636 int RetValue, i; //, clk = Abc_Clock(); in Abc_NtkMiterSatCreate() local
680 int RetValue = 0; in Abc_NodeAddClauses() local
770 int RetValue = 0; in Abc_NodeAddClausesTop() local
|
| H A D | abcRenode.c | 232 int i, RetValue; in Abc_NtkRenodeEvalSop() local
256 int i, RetValue, nClauses; in Abc_NtkRenodeEvalCnf() local
291 int i, RetValue; in Abc_NtkRenodeEvalMv() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cecSeq.c | 188 int RetValue;//, clkTotal = Abc_Clock(); in Cec_ManSeqResimulateInfo() local
218 int RetValue; in Cec_ManSeqResimulateCounter() local
298 int i, RetValue = 0; in Cec_ManCheckNonTrivialCands() local
338 int r, nPats, RetValue = 0; in Cec_ManSeqSemiformal() local
|
| H A D | cecCec.c | 77 int RetValue, iOut, nOuts; in Cec_ManVerifyOld() local
234 int i, iVar0, iVar1, pLits[2], status, RetValue; in Cec_ManVerifyNaive() local
331 int RetValue; in Cec_ManVerify() local
451 int RetValue; in Cec_ManVerifyTwo() local
479 int RetValue; in Cec_ManVerifyTwoAigs() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
| H A D | mfsSat.c | 48 int RetValue, nBTLimit, iVar, b, Mint; in Abc_NtkMfsSolveSat_iter() local
98 int RetValue, i; in Abc_NtkMfsSolveSat() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/ |
| H A D | intCore.c | 85 int s, i, RetValue, Status; in Inter_ManPerformInterpolation() local
239 int RetValue; in Inter_ManPerformInterpolation() local
|
| H A D | intCheck.c | 164 int RetValue, pLits[3]; in Inter_CheckAddOrGate() local
196 int RetValue, pLits[3]; in Inter_CheckAddEqual() local
223 int i, f, VarA, VarB, RetValue, Entry, status; in Inter_CheckPerform() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigDup.c | 284 int RetValue, i, k, iBit = 0; in Saig_ManVerifyCex() local
323 int RetValue, i, k, iBit = 0; in Saig_ManVerifyCexNoClear() local
351 int i, RetValue = Saig_ManVerifyCexNoClear( pAig, p ); in Saig_ManReturnFailingState() local
388 int RetValue, i, k, iBit = 0; in Saig_ManExtendCex() local
439 int RetValue, i, k, iBit = 0; in Saig_ManFindFailedPoCex() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcEco.c | 142 int status, i, Div, iVar, nFinal, * pFinal, nIter = 0, RetValue = 0; in Bmc_EcoSolve() local
204 int i, Lit, RetValue, Root; in Bmc_EcoPatch() local
269 int i, RetValue; in Bmc_EcoMiterTest() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyRwrAlg.c | 54 int i, RetValue, LevelR, nNodesOld; in Ivy_ManRewriteAlg() local
129 int k, Counter, nMffc, RetValue; in Ivy_NodeRewriteAlg() local
353 int RetValue, i; in Ivy_ManFindAlgCut() local
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
| H A D | aigSeq.c | 282 int i, RetValue; in Aig_ManRemoveUnmarked() local
323 int i, RetValue = 0, Counter = 0;//, Counter2 = 0; in Aig_ManSeqRehashOne() local
462 int Iter, RetValue = 1; in Aig_ManSeqStrash() local
|
| /dports/emulators/qemu60/qemu-6.0.0/roms/edk2/MdePkg/Library/BaseLib/RiscV64/ |
| H A D | GetInterruptState.c | 29 unsigned long RetValue; in GetInterruptState() local
|
| /dports/emulators/qemu/qemu-6.2.0/roms/edk2/MdePkg/Library/BaseLib/RiscV64/ |
| H A D | GetInterruptState.c | 29 unsigned long RetValue; in GetInterruptState() local
|