| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | PDUtils.cpp | 67 Formula* f2; in isAtomEquivalence() local
95 bool PDUtils::isAtomBinaryFormula(FormulaUnit* unit, Connective& con, Formula*& f1, Formula*& f2) in isAtomBinaryFormula()
121 bool PDUtils::isAtomEquivalence(FormulaUnit* unit, Formula*& f1, Formula*& f2) in isAtomEquivalence()
149 Literal* l1; in isPredicateEquivalence() local
164 Formula* f2; in isPredicateEquivalence() local
177 bool PDUtils::isPredicateEquivalence(FormulaUnit* unit, Formula*& f1, Formula*& f2) in isPredicateEquivalence()
191 Literal* l1 = f->left()->literal(); in isPredicateEquivalence() local
314 int w = ts->var(); in hasDefinitionShape() local
|
| /dports/science/elk/elk-7.2.42/src/ |
| H A D | mcmillan.f90 | 6 subroutine mcmillan(w,a2f,lambda,wlog,wrms,tc) argument
11 real(8), intent(in) :: w(nwplot),a2f(nwplot) local
15 real(8) l1,l2,f1,f2,t1 local
|
| /dports/textproc/apertium/apertium-3.6.1/apertium/ |
| H A D | tmx_builder.cc | 44 TMXBuilder::TMXBuilder(wstring const &l1, wstring const &l2): in TMXBuilder()
129 TMXBuilder::compatible(FILE *f1, FILE *f2, bool lazy) in compatible()
163 FILE *f2 = fopen(file2.c_str(), "rb"); in check() local
404 FILE *f2 = fopen(file2.c_str(), "r"); in generate() local
465 TMXBuilder::argmin(int nw, int n, int w) in argmin()
489 TMXBuilder::generateTMX(FILE *f1, FILE *f2, FILE *output) in generateTMX()
548 TMXBuilder::outputTU(FILE *f1, FILE *f2, FILE *output) in outputTU()
765 TMXBuilder::levenshteinTable(vector<wstring> &l1, vector<wstring> &l2, in levenshteinTable()
986 unsigned int l1 = s1.size(); in similar() local
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.team/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/ |
| H A D | AddFromHistoryDialog.java | 259 Label l1= new Label(c, SWT.NONE); in createDialogArea() local
329 private void handleMemberSelect(Widget w) { in handleMemberSelect()
424 private void feedContent(Widget w) { in feedContent()
466 private static boolean greaterThan(IFile f1, IFile f2) { in greaterThan()
469 int l1= ss1.length; in greaterThan() local
|
| /dports/math/freefem++/FreeFem-sources-4.6/plugin/seq/ |
| H A D | Element_Mixte.cpp | 241 R l0 = QFE[p].x, l1 = 1 - QFE[p].x; in Pi_h_alpha() local
266 R l0 = 1 - PHat.x - PHat.y, l1 = PHat.x, l2 = PHat.y; in FB() local
508 R l0 = QFE[p].x, l1 = 1 - QFE[p].x; in Pi_h_alpha() local
536 double w = QFK[p].a * CK; in Pi_h_alpha() local
556 R l0 = 1 - Phat.x - Phat.y, l1 = Phat.x, l2 = Phat.y; in FB() local
775 R l1 = QFE[p].x, l2 = 1 - QFE[p].x; in Pi_h_alpha() local
812 double w = -QFK[p].a * CK; in Pi_h_alpha() local
1029 R l0 = QFE[p].x, l1 = 1 - QFE[p].x; in Pi_h_alpha() local
1081 R2 f2 = -(Dl[e1] * L[e2] + Dl[e2] * L[e1]).perp( ); in FB() local
1100 R2 f2 = -(Dl[e1] * Dl[e2].x + Dl[e2] * Dl[e1].x).perp( ); in FB() local
[all …]
|
| /dports/games/gtkradiant/GPL/GtkRadiant/tools/quake3/q3map2/ |
| H A D | vis.c | 42 void PlaneFromWinding (fixedWinding_t *w, visPlane_t *plane) in PlaneFromWinding()
63 fixedWinding_t *w; in NewFixedWinding() local
374 fixedWinding_t *w; in SetPortalSphere() local
437 leaf_t *l1, *l2; in TryMergeLeaves() local
586 fixedWinding_t *TryMergeWinding (fixedWinding_t *f1, fixedWinding_t *f2, vec3_t planenormal) in TryMergeWinding()
692 fixedWinding_t *w; in MergeLeafPortals() local
775 fixedWinding_t *w; in WritePortals() local
853 fixedWinding_t *w; in LoadPortals() local
|
| /dports/games/netradiant/netradiant-20150621-src/tools/quake3/q3map2/ |
| H A D | vis.c | 42 void PlaneFromWinding( fixedWinding_t *w, visPlane_t *plane ){ in PlaneFromWinding()
61 fixedWinding_t *w; in NewFixedWinding() local
395 fixedWinding_t *w; in SetPortalSphere() local
463 leaf_t *l1, *l2; in TryMergeLeaves() local
619 fixedWinding_t *TryMergeWinding( fixedWinding_t *f1, fixedWinding_t *f2, vec3_t planenormal ){ in TryMergeWinding()
732 fixedWinding_t *w; in MergeLeafPortals() local
819 fixedWinding_t *w; in WritePortals() local
899 fixedWinding_t *w; in LoadPortals() local
|
| /dports/graphics/blender/blender-2.91.0/source/blender/bmesh/intern/ |
| H A D | bmesh_mods.c | 450 const float w[2] = {1.0f - fac, fac}; in BM_vert_collapse_faces() local
483 BMFace *f2 = BM_faces_join(bm, faces, BLI_array_len(faces), true); in BM_vert_collapse_faces() local
866 bool BM_edge_rotate_check_degenerate(BMEdge *e, BMLoop *l1, BMLoop *l2) in BM_edge_rotate_check_degenerate()
953 bool BM_edge_rotate_check_beauty(BMEdge *e, BMLoop *l1, BMLoop *l2) in BM_edge_rotate_check_beauty()
978 BMLoop *l1, *l2; in BM_edge_rotate() local
|
| /dports/science/InsightToolkit/ITK-5.0.1/Modules/Numerics/FEM/include/ |
| H A D | itkFEMSolverCrankNicolson.hxx | 109 …if( LoadBCMFC::Pointer l1 = dynamic_cast<LoadBCMFC *>( this->m_FEMObject->GetLoad(l).GetPointer() … in AssembleKandM() local
243 … if( LoadBC::Pointer l1 = dynamic_cast<LoadBC *>( this->m_FEMObject->GetLoad(l2).GetPointer() ) ) in AssembleFforTimeStep() local
439 Float a, b, d = 0., etemp, fu, fv, fw, fx, p, q, r, tol1, tol2, u, v, w, x, xm; in BrentsMethod() local
552 Float f1, f2, x0, x1, x2, x3; in GoldenSection() local
|
| /dports/lang/parrot/parrot-8.1.0/src/ |
| H A D | nci_test.c | 59 int w, h; member
181 nci_csc(short l1, char l2) in nci_csc()
257 nci_fff(float l1, float l2) in nci_fff()
293 nci_isc(short l1, char l2) in nci_isc()
701 nci_ssc(short l1, char l2) in nci_ssc()
1198 nci_vfff(float l1, float l2, float l3) in nci_vfff()
1208 float f2 = 4.0; variable
1223 short l1 = 3; in main() local
|
| /dports/cad/opencascade/opencascade-7.6.0/src/TopOpeBRepTool/ |
| H A D | TopOpeBRepTool_FuseEdges.cxx | 605 Standard_Real f1,l1,f2,l2; in SameSupport() local
768 for (Standard_Integer w = 1; w <= nbpoles; w++) { in SameSupport() local
818 for (Standard_Integer w = 1; w <= nbpoles; w++) { in SameSupport() local
|
| /dports/devel/pysvn/pysvn-1.9.12/Import/pycxx-7.1.4/Demo/Python2/ |
| H A D | example.cxx | 66 std::string w = static_cast<std::string>(s); in test_String() local
332 Py::List::iterator l1, l2; in test_List() local
395 Py::Float f1(1.0), f2(2.0), f3(3.0); in test_Tuple() local
443 Py::List w; in test_STL() local
|
| /dports/devel/py-cxx/pycxx-7.1.5/Demo/Python2/ |
| H A D | example.cxx | 66 std::string w = static_cast<std::string>(s); in test_String() local
332 Py::List::iterator l1, l2; in test_List() local
395 Py::Float f1(1.0), f2(2.0), f3(3.0); in test_Tuple() local
443 Py::List w; in test_STL() local
|
| /dports/math/sympow/sympow-7fd4d97cabc07951200b98ee841afc4151c2c287/ |
| H A D | QD.c | 36 {double l1,m1,m2,o0; /* renorm_2 is just QD_qsum */ in QD_renorm_3() local
67 {double s,t,u,v,w,r[2],x,y; in QD_div_21() local
76 {double s,t,u,v,w,r[2],x,y; in QD_div_22() local
85 {double h,m,l,m1,m2,l1,l2; in QD_add_33() local
90 {double h,m,l,m1,m2,l1,l2; in QD_sub_33() local
95 {double h,m,l,m1,m2,l1,l2,t1,t2; in QD_mul_31() local
119 {double h,m1,m2,l1,l2,l3,m,l,t1,t2; in QD_sqr_3() local
125 {double a0,a1,b1,b2,c2,c3,d1,d2,e2,e3,f2,f3,g3,t1,t2; in QD_add_44() local
131 {double a0,a1,b1,b2,c2,c3,d1,d2,e2,e3,f2,f3,g3,t1,t2; in QD_sub_44() local
144 {double a0,a1,b1,b2,c1,c2,d2,d3,e2,e3,f2,f3; in QD_mul_44() local
[all …]
|
| /dports/science/openmx/openmx3.8/source/ |
| H A D | openmx_common.c | 168 double x,y,w,r; in Csqrt() local
268 double xx,yy,w; in RCdiv() local
351 *f2 = name2, in fnjoint() local
381 *f2 = name2, in fnjoint2() local
415 *f2 = name2; in chcp() local
427 int i,result,l1,l2; in SEQ() local
|
| /dports/astro/oskar/OSKAR-2.8.0/oskar/splines/src/ |
| H A D | oskar_dierckx_fpsphe.c | 18 const double* phi, const double* r, const double* w, double s, in oskar_dierckx_fpsphe()
33 int l1 = 0, l2 = 0, l3 = 0, l4 = 0, la = 0, ii = 0, ij = 0, il = 0, in = 0; in oskar_dierckx_fpsphe() local
40 double p = 0.0, c1 = 0.0, d1 = 0.0, d2 = 0.0, f1 = 0.0, f2 = 0.0, f3 = 0.0; in oskar_dierckx_fpsphe() local
|
| H A D | oskar_dierckx_fpsurf.c | 17 const double *z, const double *w, double xb, double xe, double yb, in oskar_dierckx_fpsurf()
35 int l1 = 0, l2 = 0, n = 0, ncof = 0, nk1x = 0; in oskar_dierckx_fpsurf() local
40 double fac1 = 0.0, fac2 = 0.0, fpmax = 0.0, fpms = 0.0, f1 = 0.0, f2 = 0.0; in oskar_dierckx_fpsurf() local
|
| /dports/sysutils/heirloom/heirloom-070715/ls/ |
| H A D | ls.c | 543 /* static */ struct file *l1, **mid; /* Need not be local */ in _mergesort() local
576 namecmp(struct file *f1, struct file *f2) in namecmp()
582 extcmp(struct file *f1, struct file *f2) in extcmp()
588 mtimecmp(struct file *f1, struct file *f2) in mtimecmp()
594 atimecmp(struct file *f1, struct file *f2) in atimecmp()
600 ctimecmp(struct file *f1, struct file *f2) in ctimecmp()
606 sizecmp(struct file *f1, struct file *f2) in sizecmp()
612 revcmp(struct file *f1, struct file *f2) { in revcmp()
1115 maxise(int *aw, int w) in maxise()
|
| /dports/cad/opencascade/opencascade-7.6.0/src/BRepLib/ |
| H A D | BRepLib_FuseEdges.cxx | 744 Standard_Real f1,l1,f2,l2; in SameSupport() local
921 for (Standard_Integer w = 1; w <= nbpoles; w++) { in SameSupport() local
971 for (Standard_Integer w = 1; w <= nbpoles; w++) { in SameSupport() local
|
| /dports/cad/gplcver/gplcver-2.12a.src/tests_and_examples/install.tst/ |
| H A D | c880.v | 3 input a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0, d0,… port
4 output i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2, c2, d2, e2, … port
|
| /dports/x11-wm/flwm/flwm-1.16/ |
| H A D | Frame.C | 314 int overlap1(int p1, int l1, int p2, int l2) { in overlap1()
333 int getOverlap(int x, int y, int w, int h, Frame *first, Frame *self) { in getOverlap()
379 Frame *f2 = Frame::first; in place_window() local
946 XWindowChanges w; in raise() local
990 XWindowChanges w; in lower() local
1478 void Frame::button_cb_static(Fl_Widget* w, void*) { in button_cb_static()
1885 void* getProperty(XWindow w, Atom a, Atom type, int* np) { in getProperty()
1905 int getIntProperty(XWindow w, Atom a, Atom type, int deflt) { in getIntProperty()
1913 void setProperty(XWindow w, Atom a, Atom type, int v) { in setProperty()
|
| /dports/cad/calculix/CalculiX/cgx_2.18/src/ |
| H A D | intpol3.c | 58 int i__, j, l, k1, l1; local
197 /* Subroutine */ int curfit_(iopt, m, x, y, w, xb, xe, k, s, nest, n, t, c__, in curfit_() argument
729 /* Subroutine */ int fpcurf_(iopt, x, y, w, m, xb, xe, k, s, nest, tol, maxit, in fpcurf_() argument
753 double p, fpold, fpart, f1, f2, f3; local
1502 double fprati_(p1, f1, p2, f2, p3, f3) in fprati_() argument
1583 double *w, x0d, y0d, *t, fp, *wrk; in intpol3() local
|
| /dports/cad/opencascade/opencascade-7.6.0/src/BRepCheck/ |
| H A D | BRepCheck_Face.cxx | 852 Standard_Boolean CheckThin(const TopoDS_Shape& w, const TopoDS_Shape& f) in CheckThin()
889 Standard_Real f1 = 0., l1 = 0., f2 = 0., l2 = 0.; in CheckThin() local
|
| /dports/biology/seaview/seaview/ |
| H A D | addbootstrap.cxx | 129 int process_one_replicate(char *one_tree, float w) in process_one_replicate()
150 char *arbre1, *arbre2, *arbre3, *arbre, *f1, *f2, *f3, *bootstrap = NULL; in finish_add_bootstrap() local
152 double l1, l2, l3; in finish_add_bootstrap() local
602 float w) in parcourir_branches_each()
623 void process_branch_each(struct noeud *cote1, struct noeud *cote2, float w) in process_branch_each()
853 int i, j, k, l, w, word, restbranches, j1; in compute_consensus_tree() local
|
| /dports/science/opensim-core/opensim-core-4.1/OpenSim/Simulation/Wrap/ |
| H A D | WrapEllipsoid.cpp | 193 SimTK::Vec3 p1, p2, m, a, p1p2, p1m, p2m, f1, f2, p1c1, r1r2, vs, t, mu; in wrapLine() local
194 double ppm, aa, bb, cc, disc, l1, l2, in wrapLine() local
819 SimTK::Vec3 u, ux, a0, ar1, ar2, vsy, vsz, t, r, f1, f2, dr, dv; in CalcDistanceOnEllipsoid() local
994 double u, double v, double w, in findClosestPoint()
|