| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | PDUtils.cpp | 42 bool PDUtils::isDefinitionHead(Literal* l) in isDefinitionHead()
67 Formula* f2; in isAtomEquivalence() local
80 Formula* f = unit->formula(); in isUnitAtom() local
99 Formula* f = unit->formula(); in isAtomBinaryFormula() local
121 bool PDUtils::isAtomEquivalence(FormulaUnit* unit, Formula*& f1, Formula*& f2) in isAtomEquivalence()
164 Formula* f2; in isPredicateEquivalence() local
177 bool PDUtils::isPredicateEquivalence(FormulaUnit* unit, Formula*& f1, Formula*& f2) in isPredicateEquivalence()
181 Formula* f = unit->formula(); in isPredicateEquivalence() local
220 Formula* f = unit->formula(); in splitDefinition() local
256 Formula* f = unit->formula(); in hasDefinitionShape() local
[all …]
|
| /dports/math/cgal/CGAL-5.3/include/CGAL/ |
| H A D | Delaunay_triangulation_2.h | 248 bool incircle(int x, int j, int, int l, std::vector<Face_handle> &f, in incircle() argument
289 typename Geom_traits::Line_2 l; in draw_dual() local
1283 Face_handle & f0, Face_handle & f1, Face_handle & f2, in remove_degree5_star()
1438 Face_handle & f0, Face_handle & f1, Face_handle & f2, in remove_degree6_star()
1461 Face_handle & f0, Face_handle & f1, Face_handle & f2, in remove_degree6_N()
1955 std::vector<Face_handle> &f, std::vector<Vertex_handle> &w, std::vector<int> &i) in remove_degree7_star()
1977 std::vector<Face_handle> &f,std::vector<Vertex_handle> &w, std::vector<int> &i) in remove_degree7_zigzag()
2009 std::vector<Face_handle> &f,std::vector<Vertex_handle> &w, std::vector<int> &i) in remove_degree7_leftdelta()
2038 std::vector<Face_handle> &f,std::vector<Vertex_handle> &w, std::vector<int> &i) in remove_degree7_rightdelta()
2066 std::vector<Face_handle> &f,std::vector<Vertex_handle> &w, std::vector<int> &i) in remove_degree7_leftfan()
[all …]
|
| H A D | Periodic_2_Delaunay_triangulation_2.h | 750 bool incircle(int x, int j, int k, int l, std::vector<Face_handle> &, in incircle()
757 bool incircle(int x, int j, int k, int l, std::vector<Face_handle> &, in incircle()
4557 … std::vector<Face_handle> &f, std::vector<Vertex_handle> &w, std::vector<int> &i) in remove_degree7_star()
4587 …std::vector<Face_handle> &f, std::vector<Vertex_handle> &w, std::vector<Offset> &o, std::vector<in… in remove_degree7_star()
4634 … std::vector<Face_handle> &f, std::vector<Vertex_handle> &w, std::vector<int> &i) in remove_degree7_zigzag()
4673 …std::vector<Face_handle> &f, std::vector<Vertex_handle> &w, std::vector<Offset> &o, std::vector<in… in remove_degree7_zigzag()
4720 … std::vector<Face_handle> &f, std::vector<Vertex_handle> &w, std::vector<int> &i) in remove_degree7_leftdelta()
4803 … std::vector<Face_handle> &f, std::vector<Vertex_handle> &w, std::vector<int> &i) in remove_degree7_rightdelta()
4885 … std::vector<Face_handle> &f, std::vector<Vertex_handle> &w, std::vector<int> &i) in remove_degree7_leftfan()
4917 …std::vector<Face_handle> &f, std::vector<Vertex_handle> &w, std::vector<Offset> &o, std::vector<in… in remove_degree7_leftfan()
[all …]
|
| /dports/math/spot/spot-2.10.2/spot/tl/ |
| H A D | simplify.cc | 129 bdd l = as_bdd(f[0]); in as_bdd() local
135 bdd l = as_bdd(f[0]); in as_bdd() local
141 bdd l = as_bdd(f[0]); in as_bdd() local
645 auto f2 = f[1]; in nenoform_rec() local
655 auto f2 = f[1]; in nenoform_rec() local
1217 int w = mospliter::Strip_F in visit() local
1363 int w = mospliter::Strip_G | in visit() local
1904 formula w = // b W !s in reduce_sere_ltl() local
3814 formula f2 = f[1]; in syntactic_implication_aux() local
3834 formula f2 = f[1]; in syntactic_implication_aux() local
[all …]
|
| /dports/math/py-spot/spot-2.10.2/spot/tl/ |
| H A D | simplify.cc | 129 bdd l = as_bdd(f[0]); in as_bdd() local
135 bdd l = as_bdd(f[0]); in as_bdd() local
141 bdd l = as_bdd(f[0]); in as_bdd() local
645 auto f2 = f[1]; in nenoform_rec() local
655 auto f2 = f[1]; in nenoform_rec() local
1217 int w = mospliter::Strip_F in visit() local
1363 int w = mospliter::Strip_G | in visit() local
1904 formula w = // b W !s in reduce_sere_ltl() local
3814 formula f2 = f[1]; in syntactic_implication_aux() local
3834 formula f2 = f[1]; in syntactic_implication_aux() local
[all …]
|
| /dports/lang/swi-pl/swipl-8.2.3/packages/xpce/src/unx/ |
| H A D | file.c | 214 unlinkFile(FileObj f) in unlinkFile()
259 closeFile(FileObj f) in closeFile()
320 sameFile(FileObj f1, FileObj f2) in sameFile()
574 doBOMFile(FileObj f) in doBOMFile()
857 flushFile(FileObj f) in flushFile()
1072 putstdw(unsigned long w, IOSTREAM *fd) in putstdw()
1076 { unsigned long l; in putstdw() member
1094 storeWordFile(FileObj f, Any w) in storeWordFile()
1138 { const charW *w = s->s_textW; in storeStringFile() local
1151 const charW *w = s->s_textW; in storeStringFile() local
[all …]
|
| /dports/games/ufoai/ufoai-2.5-source/src/tools/ufo2map/ |
| H A D | faces.cpp | 134 void FreeFace (face_t* f) in FreeFace()
187 winding_t* w; in EmitFaceVertexes() local
217 face_t* f; in EmitVertexes_r() local
364 face_t* f; in FixEdges_r() local
453 static winding_t* TryMergeWinding (winding_t* f1, winding_t* f2, const vec3_t planenormal) in TryMergeWinding()
457 int i, j, k, l; in TryMergeWinding() local
547 static face_t* TryMerge (face_t* f1, face_t* f2, const vec3_t planenormal) in TryMerge()
580 face_t* f2; in MergeNodeFaces() local
628 const winding_t* w = f->w; in SubdivideFace() local
678 face_t* f; in SubdivideNodeFaces() local
[all …]
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/go.test/test/ |
| H A D | shift2.go | 13 func f(x int) int { return 0 } func
23 l = g(1 << s) // 1 has type int var
25 w int64 = 1.0 << 33 // legal: 1.0<<33 is a constant shift expression var
44 f2 = h(2 << c) // == h(float64(64.0)) var
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/go.test/test/ |
| H A D | shift2.go | 13 func f(x int) int { return 0 } func
23 l = g(1 << s) // 1 has type int var
25 w int64 = 1.0 << 33 // legal: 1.0<<33 is a constant shift expression var
44 f2 = h(2 << c) // == h(float64(64.0)) var
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/go.test/test/ |
| H A D | shift2.go | 13 func f(x int) int { return 0 } func
23 l = g(1 << s) // 1 has type int var
25 w int64 = 1.0 << 33 // legal: 1.0<<33 is a constant shift expression var
44 f2 = h(2 << c) // == h(float64(64.0)) var
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/ |
| H A D | shift2.go | 13 func f(x int) int { return 0 } func
23 l = g(1 << s) // 1 has type int var
25 w int64 = 1.0 << 33 // legal: 1.0<<33 is a constant shift expression var
44 f2 = h(2 << c) // == h(float64(64.0)) var
|
| /dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/test/ |
| H A D | shift2.go | 13 func f(x int) int { return 0 } func
23 l = g(1 << s) // 1 has type int var
25 w int64 = 1.0 << 33 // legal: 1.0<<33 is a constant shift expression var
44 f2 = h(2 << c) // == h(float64(64.0)) var
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/go.test/test/ |
| H A D | shift2.go | 13 func f(x int) int { return 0 } func
23 l = g(1 << s) // 1 has type int var
25 w int64 = 1.0 << 33 // legal: 1.0<<33 is a constant shift expression var
44 f2 = h(2 << c) // == h(float64(64.0)) var
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/go.test/test/ |
| H A D | shift2.go | 13 func f(x int) int { return 0 } func
23 l = g(1 << s) // 1 has type int var
25 w int64 = 1.0 << 33 // legal: 1.0<<33 is a constant shift expression var
44 f2 = h(2 << c) // == h(float64(64.0)) var
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/ |
| H A D | shift2.go | 13 func f(x int) int { return 0 } func
23 l = g(1 << s) // 1 has type int var
25 w int64 = 1.0 << 33 // legal: 1.0<<33 is a constant shift expression var
44 f2 = h(2 << c) // == h(float64(64.0)) var
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/ |
| H A D | shift2.go | 13 func f(x int) int { return 0 } func
23 l = g(1 << s) // 1 has type int var
25 w int64 = 1.0 << 33 // legal: 1.0<<33 is a constant shift expression var
44 f2 = h(2 << c) // == h(float64(64.0)) var
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/go.test/test/ |
| H A D | shift2.go | 13 func f(x int) int { return 0 } func
23 l = g(1 << s) // 1 has type int var
25 w int64 = 1.0 << 33 // legal: 1.0<<33 is a constant shift expression var
44 f2 = h(2 << c) // == h(float64(64.0)) var
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/ |
| H A D | shift2.go | 13 func f(x int) int { return 0 } func
23 l = g(1 << s) // 1 has type int var
25 w int64 = 1.0 << 33 // legal: 1.0<<33 is a constant shift expression var
44 f2 = h(2 << c) // == h(float64(64.0)) var
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/go.test/test/ |
| H A D | shift2.go | 13 func f(x int) int { return 0 } func
23 l = g(1 << s) // 1 has type int var
25 w int64 = 1.0 << 33 // legal: 1.0<<33 is a constant shift expression var
44 f2 = h(2 << c) // == h(float64(64.0)) var
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/go.test/test/ |
| H A D | shift2.go | 13 func f(x int) int { return 0 } func
23 l = g(1 << s) // 1 has type int var
25 w int64 = 1.0 << 33 // legal: 1.0<<33 is a constant shift expression var
44 f2 = h(2 << c) // == h(float64(64.0)) var
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/go.test/test/ |
| H A D | shift2.go | 13 func f(x int) int { return 0 } func
23 l = g(1 << s) // 1 has type int var
25 w int64 = 1.0 << 33 // legal: 1.0<<33 is a constant shift expression var
44 f2 = h(2 << c) // == h(float64(64.0)) var
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/go.test/test/ |
| H A D | shift2.go | 13 func f(x int) int { return 0 } func
23 l = g(1 << s) // 1 has type int var
25 w int64 = 1.0 << 33 // legal: 1.0<<33 is a constant shift expression var
44 f2 = h(2 << c) // == h(float64(64.0)) var
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/go.test/test/ |
| H A D | shift2.go | 13 func f(x int) int { return 0 } func
23 l = g(1 << s) // 1 has type int var
25 w int64 = 1.0 << 33 // legal: 1.0<<33 is a constant shift expression var
44 f2 = h(2 << c) // == h(float64(64.0)) var
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/go.test/test/ |
| H A D | shift2.go | 13 func f(x int) int { return 0 } func
23 l = g(1 << s) // 1 has type int var
25 w int64 = 1.0 << 33 // legal: 1.0<<33 is a constant shift expression var
44 f2 = h(2 << c) // == h(float64(64.0)) var
|
| /dports/math/py-pygsl/pygsl-2.3.0/pygsl/ |
| H A D | chebyshev.py | 14 def f(x, p):
23 cs = cheb_series(40)
25 cs.init(F, 0.0, 1.0)
44 """
|