| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Runtime/Heap/ |
| H A D | Layout.hs | 508 <+> pp_n "ptrs" ps <+> pp_n "nonptrs" nps
509 pp_n :: String -> Int -> SDoc
510 pp_n _ 0 = empty function
511 pp_n s n = int n <+> text s function
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Runtime/Heap/ |
| H A D | Layout.hs | 514 <+> pp_n "ptrs" ps <+> pp_n "nonptrs" nps
515 pp_n :: String -> Int -> SDoc
516 pp_n _ 0 = empty function
517 pp_n s n = int n <+> text s function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/cmm/ |
| H A D | SMRep.hs | 528 <+> pp_n "ptrs" ps <+> pp_n "nonptrs" nps
529 pp_n :: String -> Int -> SDoc
530 pp_n _ 0 = empty function
531 pp_n s n = int n <+> text s function
|
| /dports/net/tcpdump/tcpdump-4.99.1/ |
| H A D | print-wb.c | 192 nd_uint32_t pp_n; /* size of pageid array */ member
284 n = GET_BE_U_4(prep->pp_n); in wb_prep()
|
| /dports/games/scummvm/scummvm-2.5.1/engines/icb/ |
| H A D | shadow_pc.cpp | 80 SVECTORPC *pp_n = p_n; in DrawShadow1PC() local
85 …MakeShadowPC(srap, local, nVertices, pp_n, *pp_d, pldirs, plcolours, world2screen, local2world, de… in DrawShadow1PC()
|
| /dports/math/z3/z3-z3-4.8.13/src/math/realclosure/ |
| H A D | realclosure.cpp | 306 extension(TRANSCENDENTAL, idx), m_name(n), m_pp_name(pp_n), m_k(0), m_proc(p) {} in transcendental()
320 …signed idx, symbol const & n, symbol const & pp_n):extension(INFINITESIMAL, idx), m_name(n), m_pp_… in infinitesimal()
1278 void mk_infinitesimal(symbol const & n, symbol const & pp_n, numeral & r) { in mk_infinitesimal()
1280 infinitesimal * eps = new (allocator()) infinitesimal(idx, n, pp_n); in mk_infinitesimal()
1292 void mk_infinitesimal(char const * n, char const * pp_n, numeral & r) { in mk_infinitesimal()
1293 mk_infinitesimal(symbol(n), symbol(pp_n), r); in mk_infinitesimal()
1332 transcendental * t = new (allocator()) transcendental(idx, n, pp_n, proc); in mk_transcendental()
1345 mk_transcendental(symbol(p), symbol(pp_n), proc, r); in mk_transcendental()
6056 void manager::mk_infinitesimal(char const * n, char const * pp_n, numeral & r) { in mk_infinitesimal() argument
6057 m_imp->mk_infinitesimal(n, pp_n, r); in mk_infinitesimal()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/realclosure/ |
| H A D | realclosure.cpp | 306 extension(TRANSCENDENTAL, idx), m_name(n), m_pp_name(pp_n), m_k(0), m_proc(p) {} in transcendental()
320 …signed idx, symbol const & n, symbol const & pp_n):extension(INFINITESIMAL, idx), m_name(n), m_pp_… in infinitesimal()
1278 void mk_infinitesimal(symbol const & n, symbol const & pp_n, numeral & r) { in mk_infinitesimal()
1280 infinitesimal * eps = new (allocator()) infinitesimal(idx, n, pp_n); in mk_infinitesimal()
1292 void mk_infinitesimal(char const * n, char const * pp_n, numeral & r) { in mk_infinitesimal()
1293 mk_infinitesimal(symbol(n), symbol(pp_n), r); in mk_infinitesimal()
1332 transcendental * t = new (allocator()) transcendental(idx, n, pp_n, proc); in mk_transcendental()
1345 mk_transcendental(symbol(p), symbol(pp_n), proc, r); in mk_transcendental()
6056 void manager::mk_infinitesimal(char const * n, char const * pp_n, numeral & r) { in mk_infinitesimal() argument
6057 m_imp->mk_infinitesimal(n, pp_n, r); in mk_infinitesimal()
[all …]
|