/dports/math/vampire/vampire-4.5.1/Shell/ |
H A D | PDUtils.cpp | 66 Formula* f1; 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 163 Formula* f1; 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() 162 FILE *f1 = fopen(file1.c_str(), "rb"); in check() local 396 FILE *f1 = fopen(file1.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() 535 TMXBuilder::splitAndMove(FILE *f1, string const &filename) in splitAndMove() 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 1080 R2 f1 = (X - Q[e]) * s / cK; in FB() local 1099 R2 f1 = R2(s / cK, 0.); 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/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/src/nwpw/pspw/analysis/ |
H A D | orb_pop.F | 37 integer i,k,l,n,ll,l1,l2 local 39 real*8 omega,w,pi,twopi local 40 real*8 f0,f1,f21,f22,f23,f24,f25 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() 1223 short l1 = 3; in main() local 1224 float f, f1 = 3.0; 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/science/openmx/openmx3.8/source/liberi-091216/source/ |
H A D | eri_sf.c | 318 long double f0, f1; in ERI_Spherical_Harmonics() local 526 double ERI_Gaunt(int l, int m, int l1, int m1, int l2, int m2) in ERI_Gaunt() 545 double ERI_Gaunt_R(int l, int m, int l1, int m1, int l2, int m2) in ERI_Gaunt_R() 650 void ERI_GLQ(double *x, double *w, int n) in ERI_GLQ()
|
/dports/math/cudd/cudd-3.0.0/cplusplus/ |
H A D | testobj.cc | 239 ADD f1 = x[1].Ite(mgr.constant(0.4), mgr.constant(0.3)); in testAdd2() local 274 ZDD w = mgr.zddVar(1); in testZdd() local 374 BDD f1 = f.RemapUnderApprox(6); in testBdd3() local 632 BDD l1 = (a | d) & b & c; in testInterpolation() local
|
/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 350 char *f1 = name1, in fnjoint() local 380 char *f1 = name1, in fnjoint2() local 414 char *f1 = name1, 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/math/reduce/Reduce-svn5758-src/csl/embedded/ |
H A D | cslread.c | 220 char *w; in Lgetenv() local 250 int w; in Lsystem() local 780 one_args *f1, two_args *f2, n_args *fn) in make_symbol() 1261 int32_t l1, l2; in ordersymbol() local 1353 int w; in ordpv() local 1435 int w; in orderp() local 1483 int w; in Lorderp() local 3581 Lisp_Object f1; in read_action_synonym() local 3596 Lisp_Object l, f1; in read_action_concatenated() local 3713 Lisp_Object w; in Lwhere_was_that() local [all …]
|
/dports/misc/mc-nox11/mc-4.8.27/src/diffviewer/ |
H A D | ydiff.c | 689 int f1, f2; in scan_line() local 1917 int l1, o1; in calc_nwidth() local 2017 int l0, l1; in get_current_hunk() local 2089 FILE *f1; in dview_add_hunk() local 2142 FILE *f1; in dview_replace_hunk() local 2275 Widget *w = WIDGET (dview); in dview_compute_areas() local 3302 dview_callback (Widget * w, Widget * sender, widget_msg_t msg, int parm, void *data) in dview_callback() 3355 dview_mouse_callback (Widget * w, mouse_msg_t msg, mouse_event_t * event) in dview_mouse_callback() 3382 dview_dialog_callback (Widget * w, Widget * sender, widget_msg_t msg, int parm, void *data) in dview_dialog_callback() 3441 Widget *w; in diff_view() local [all …]
|
/dports/misc/mc/mc-4.8.27/src/diffviewer/ |
H A D | ydiff.c | 689 int f1, f2; in scan_line() local 1917 int l1, o1; in calc_nwidth() local 2017 int l0, l1; in get_current_hunk() local 2089 FILE *f1; in dview_add_hunk() local 2142 FILE *f1; in dview_replace_hunk() local 2275 Widget *w = WIDGET (dview); in dview_compute_areas() local 3302 dview_callback (Widget * w, Widget * sender, widget_msg_t msg, int parm, void *data) in dview_callback() 3355 dview_mouse_callback (Widget * w, mouse_msg_t msg, mouse_event_t * event) in dview_mouse_callback() 3382 dview_dialog_callback (Widget * w, Widget * sender, widget_msg_t msg, int parm, void *data) in dview_dialog_callback() 3441 Widget *w; in diff_view() local [all …]
|
/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/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/gplcver/gplcver-2.12a.src/tests_and_examples/install.tst/ |
H A D | c880.v | 3 … u, v, w, x, y, z, a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0,… 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() 363 Frame *f1 = 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()
|