| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraCnf.c | 49 int pLits[4], RetValue, VarF, VarI, VarT, VarE, fCompT, fCompE; in Fra_AddClausesMux() local
56 VarF = Fra_ObjSatNum(pNode); in Fra_AddClausesMux()
74 pLits[2] = toLitCond(VarF, 0); in Fra_AddClausesMux()
79 pLits[2] = toLitCond(VarF, 1); in Fra_AddClausesMux()
84 pLits[2] = toLitCond(VarF, 0); in Fra_AddClausesMux()
89 pLits[2] = toLitCond(VarF, 1); in Fra_AddClausesMux()
108 pLits[2] = toLitCond(VarF, 1); in Fra_AddClausesMux()
113 pLits[2] = toLitCond(VarF, 0); in Fra_AddClausesMux()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
| H A D | dchCnf.c | 48 int pLits[4], RetValue, VarF, VarI, VarT, VarE, fCompT, fCompE; in Dch_AddClausesMux() local
55 VarF = Dch_ObjSatNum(p,pNode); in Dch_AddClausesMux()
73 pLits[2] = toLitCond(VarF, 0); in Dch_AddClausesMux()
84 pLits[2] = toLitCond(VarF, 1); in Dch_AddClausesMux()
95 pLits[2] = toLitCond(VarF, 0); in Dch_AddClausesMux()
106 pLits[2] = toLitCond(VarF, 1); in Dch_AddClausesMux()
131 pLits[2] = toLitCond(VarF, 1); in Dch_AddClausesMux()
142 pLits[2] = toLitCond(VarF, 0); in Dch_AddClausesMux()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswCnf.c | 107 int pLits[4], RetValue, VarF, VarI, VarT, VarE, fCompT, fCompE; in Ssw_AddClausesMux() local
114 VarF = Ssw_ObjSatNum(p,pNode); in Ssw_AddClausesMux()
132 pLits[2] = toLitCond(VarF, 0); in Ssw_AddClausesMux()
143 pLits[2] = toLitCond(VarF, 1); in Ssw_AddClausesMux()
154 pLits[2] = toLitCond(VarF, 0); in Ssw_AddClausesMux()
165 pLits[2] = toLitCond(VarF, 1); in Ssw_AddClausesMux()
190 pLits[2] = toLitCond(VarF, 1); in Ssw_AddClausesMux()
201 pLits[2] = toLitCond(VarF, 0); in Ssw_AddClausesMux()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcSat.c | 290 int VarF, VarI, VarT, VarE, fCompT, fCompE; in Abc_NtkClauseMux() local
296 VarF = (int)(ABC_PTRINT_T)pNode->pCopy; in Abc_NtkClauseMux()
318 Vec_IntPush( vVars, toLitCond(VarF, 0) ); in Abc_NtkClauseMux()
324 Vec_IntPush( vVars, toLitCond(VarF, 1) ); in Abc_NtkClauseMux()
330 Vec_IntPush( vVars, toLitCond(VarF, 0) ); in Abc_NtkClauseMux()
336 Vec_IntPush( vVars, toLitCond(VarF, 1) ); in Abc_NtkClauseMux()
352 Vec_IntPush( vVars, toLitCond(VarF, 1) ); in Abc_NtkClauseMux()
358 Vec_IntPush( vVars, toLitCond(VarF, 0) ); in Abc_NtkClauseMux()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaSupp.c | 426 int pLits[4], RetValue, VarF, VarI, VarT, VarE, fCompT, fCompE; in Gia_Min2AddClausesMux() local
433 VarF = Gia_Min2ObjSatId(p, pNode); in Gia_Min2AddClausesMux()
451 pLits[2] = Abc_Var2Lit(VarF, 0); in Gia_Min2AddClausesMux()
462 pLits[2] = Abc_Var2Lit(VarF, 1); in Gia_Min2AddClausesMux()
473 pLits[2] = Abc_Var2Lit(VarF, 0); in Gia_Min2AddClausesMux()
484 pLits[2] = Abc_Var2Lit(VarF, 1); in Gia_Min2AddClausesMux()
509 pLits[2] = Abc_Var2Lit(VarF, 1); in Gia_Min2AddClausesMux()
520 pLits[2] = Abc_Var2Lit(VarF, 0); in Gia_Min2AddClausesMux()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cecSolve.c | 67 int pLits[4], RetValue, VarF, VarI, VarT, VarE, fCompT, fCompE; in Cec_AddClausesMux() local
74 VarF = Cec_ObjSatNum(p,pNode); in Cec_AddClausesMux()
92 pLits[2] = toLitCond(VarF, 0); in Cec_AddClausesMux()
103 pLits[2] = toLitCond(VarF, 1); in Cec_AddClausesMux()
114 pLits[2] = toLitCond(VarF, 0); in Cec_AddClausesMux()
125 pLits[2] = toLitCond(VarF, 1); in Cec_AddClausesMux()
150 pLits[2] = toLitCond(VarF, 1); in Cec_AddClausesMux()
161 pLits[2] = toLitCond(VarF, 0); in Cec_AddClausesMux()
|
| H A D | cecSatG.c | 126 int pLits[4], RetValue, VarF, VarI, VarT, VarE, fCompT, fCompE; in Cec3_AddClausesMux() local
133 VarF = Cec3_ObjSatId(p, pNode); in Cec3_AddClausesMux()
151 pLits[2] = Abc_Var2Lit(VarF, 0); in Cec3_AddClausesMux()
162 pLits[2] = Abc_Var2Lit(VarF, 1); in Cec3_AddClausesMux()
173 pLits[2] = Abc_Var2Lit(VarF, 0); in Cec3_AddClausesMux()
184 pLits[2] = Abc_Var2Lit(VarF, 1); in Cec3_AddClausesMux()
209 pLits[2] = Abc_Var2Lit(VarF, 1); in Cec3_AddClausesMux()
220 pLits[2] = Abc_Var2Lit(VarF, 0); in Cec3_AddClausesMux()
|
| H A D | cecSat.c | 123 int pLits[4], RetValue, VarF, VarI, VarT, VarE, fCompT, fCompE; in Cec2_AddClausesMux() local
130 VarF = Cec2_ObjSatId(p, pNode); in Cec2_AddClausesMux()
148 pLits[2] = Abc_Var2Lit(VarF, 0); in Cec2_AddClausesMux()
159 pLits[2] = Abc_Var2Lit(VarF, 1); in Cec2_AddClausesMux()
170 pLits[2] = Abc_Var2Lit(VarF, 0); in Cec2_AddClausesMux()
181 pLits[2] = Abc_Var2Lit(VarF, 1); in Cec2_AddClausesMux()
206 pLits[2] = Abc_Var2Lit(VarF, 1); in Cec2_AddClausesMux()
217 pLits[2] = Abc_Var2Lit(VarF, 0); in Cec2_AddClausesMux()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/ |
| H A D | fraigSat.c | 1217 int RetValue, VarF, VarI, VarT, VarE, fCompT, fCompE; in Fraig_SupergateAddClausesMux() local
1224 VarF = pNode->Num; in Fraig_SupergateAddClausesMux()
1243 Msat_IntVecPush( p->vProj, MSAT_VAR2LIT(VarF, 0) ); in Fraig_SupergateAddClausesMux()
1249 Msat_IntVecPush( p->vProj, MSAT_VAR2LIT(VarF, 1) ); in Fraig_SupergateAddClausesMux()
1255 Msat_IntVecPush( p->vProj, MSAT_VAR2LIT(VarF, 0) ); in Fraig_SupergateAddClausesMux()
1261 Msat_IntVecPush( p->vProj, MSAT_VAR2LIT(VarF, 1) ); in Fraig_SupergateAddClausesMux()
1281 Msat_IntVecPush( p->vProj, MSAT_VAR2LIT(VarF, 1) ); in Fraig_SupergateAddClausesMux()
1287 Msat_IntVecPush( p->vProj, MSAT_VAR2LIT(VarF, 0) ); in Fraig_SupergateAddClausesMux()
|
| /dports/science/drawxtl/DRAWxtl/source/DRAWxtl55/ |
| H A D | read_flp.h | 111 float VarF[10]; member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyFraig.c | 2355 int pLits[4], RetValue, VarF, VarI, VarT, VarE, fCompT, fCompE; in Ivy_FraigAddClausesMux() local
2362 VarF = Ivy_ObjSatNum(pNode); in Ivy_FraigAddClausesMux()
2380 pLits[2] = toLitCond(VarF, 0); in Ivy_FraigAddClausesMux()
2385 pLits[2] = toLitCond(VarF, 1); in Ivy_FraigAddClausesMux()
2390 pLits[2] = toLitCond(VarF, 0); in Ivy_FraigAddClausesMux()
2395 pLits[2] = toLitCond(VarF, 1); in Ivy_FraigAddClausesMux()
2414 pLits[2] = toLitCond(VarF, 1); in Ivy_FraigAddClausesMux()
2419 pLits[2] = toLitCond(VarF, 0); in Ivy_FraigAddClausesMux()
|
| /dports/games/nonsense/nonsense-0.6/ |
| H A D | humorix.data | 171 <A HREF="people.shtml#{varf:=FirstName}{$VarF}-{varl:=LastName}{$VarL}">{$VarF} {$VarL}</A>
|
| /dports/science/mcstas-comps/mcstas-comps-2.5-src/libs/cif2hkl/ |
| H A D | cif2hkl.F90 | 37919 real(kind=cp),dimension(25) :: VarF component
38087 real(kind=cp),dimension(25) :: VarF component
39034 A%VarF =0.0
39067 A%NVar=0; A%VarF=0.0
39382 Ats%atom(i)%VarF, &
39674 ats%atom(i)%VarF, &
45404 Atm%Atom(i)%VarF =0.0
|
| /dports/math/deal.ii/dealii-803d21ff957e349b3799cd3ef2c840bc78734305/examples/step-49/ |
| H A D | step-49.ipynb | 337 …Zuwb98+jBgxAvXr14ednR1EIhH8/f0xd+5cpKSkwMPDA05OTrh79y5atWpltD2FQsHbJ2B4hq/VarF//3707NkTzs7OKCoqwoE…
|
| /dports/math/deal.ii/dealii-803d21ff957e349b3799cd3ef2c840bc78734305/contrib/python-bindings/notebooks/ |
| H A D | step-49.ipynb | 337 …Zuwb98+jBgxAvXr14ednR1EIhH8/f0xd+5cpKSkwMPDA05OTrh79y5atWpltD2FQsHbJ2B4hq/VarF//3707NkTzs7OKCoqwoE…
|