Home
last modified time | relevance | path

Searched +defs:w +defs:f1 +defs:l2 (Results 1 – 25 of 518) sorted by relevance

12345678910>>...21

/dports/math/vampire/vampire-4.5.1/Shell/
H A DPDUtils.cpp66 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()
150 Literal* l2; in isPredicateEquivalence() local
163 Formula* f1; in isPredicateEquivalence() local
177 bool PDUtils::isPredicateEquivalence(FormulaUnit* unit, Formula*& f1, Formula*& f2) in isPredicateEquivalence()
192 Literal* l2 = f->right()->literal(); in isPredicateEquivalence() local
314 int w = ts->var(); in hasDefinitionShape() local
/dports/science/elk/elk-7.2.42/src/
H A Dmcmillan.f906 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/science/clipper/clipper-2.1/clipper/minimol/
H A Dminimol_utils.cpp120 for ( int w = cg.w()-d; w <= cg.w()+d; w++ ) { in atoms_near() local
143 Coord_frac f1, f2; in operator ()() local
147 double l2 = ( f2.lattice_copy_near( f1 ) - f1 ).lengthsq( cell ); in operator ()() local
/dports/textproc/apertium/apertium-3.6.1/apertium/
H A Dtmx_builder.cc44 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()
987 unsigned int l2 = s2.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 DAddFromHistoryDialog.java297 Label l2= 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()
470 int l2= ss2.length; in greaterThan() local
/dports/games/gtkradiant/GPL/GtkRadiant/tools/quake3/q3map2/
H A Dvis.c42 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/security/fwbuilder/fwbuilder-5.3.7/src/libgui/
H A DpixAdvancedDialog.cpp178 bool f1=fwoptions->getBool("pix_acl_basic"); in pixAdvancedDialog() local
584 list<FWObject*> l2=obj->getByType(Interface::TYPENAME); in pixAdvancedDialog() local
698 int pixAdvancedDialog::translateFixupSwitchFromWidgetToOption(int w) in translateFixupSwitchFromWidgetToOption()
/dports/games/netradiant/netradiant-20150621-src/tools/quake3/q3map2/
H A Dvis.c42 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/math/freefem++/FreeFem-sources-4.6/plugin/seq/
H A DElement_Mixte.cpp266 R l0 = 1 - PHat.x - PHat.y, l1 = PHat.x, l2 = PHat.y; in FB() 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
837 R l0 = 1 - Phat.x - Phat.y, l1 = Phat.x, l2 = Phat.y; in FB() local
1059 R l0 = 1 - PHat.x - PHat.y, l1 = PHat.x, l2 = PHat.y; in FB() local
1080 R2 f1 = (X - Q[e]) * s / cK; in FB() local
1099 R2 f1 = R2(s / cK, 0.); in FB() local
1114 R2 f1 = R2(0., s / cK); in FB() local
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/src/nwpw/pspw/analysis/
H A Dorb_pop.F37 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 DitkFEMSolverCrankNicolson.hxx179 for( int l2 = 0; l2 < numLoads; l2++ ) in AssembleKandM() local
241 for( int l2 = 0; l2 < numLoads; l2++ ) 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 Dnci_test.c59 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()
1207 char l2 = 4; variable
1224 float f, f1 = 3.0; in main() local
/dports/cad/opencascade/opencascade-7.6.0/src/TopOpeBRepTool/
H A DTopOpeBRepTool_FuseEdges.cxx605 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 Dexample.cxx66 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 Dexample.cxx66 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 Deri_sf.c318 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 Dtestobj.cc239 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
641 BDD l2 = (~a | ~b) & (a | c) & (b | c) & (a | ~b | ~d); in testInterpolation() local
/dports/science/openmx/openmx3.8/source/
H A Dopenmx_common.c168 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 Doskar_dierckx_fpsphe.c18 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 Doskar_dierckx_fpsurf.c17 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 Dcslread.c220 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/math/singular/Singular-Release-4-2-1/kernel/numeric/
H A Dmpr_numeric.cc152 number *w; in interpolateDense() local
801 gmp_complex &f0, gmp_complex &f1, gmp_complex &f2, in computefx()
822 gmp_complex &f0, gmp_complex &f1, gmp_complex &f2, in computegx()
1097 int *l1,*l2,*l3; in compute() local
1297 void simplex::simp2( mprfloat **a, int nn, int l2[], int nl2, int *ip, int kp, mprfloat *q1 ) in simp2()
/dports/cad/opencascade/opencascade-7.6.0/src/BRepLib/
H A DBRepLib_FuseEdges.cxx744 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 Dls.c544 struct file *l2; 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/x11-wm/flwm/flwm-1.16/
H A DFrame.C314 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()

12345678910>>...21