/dports/math/z3/z3-z3-4.8.13/src/nlsat/ |
H A D | nlsat_justification.h | 78 lazy_justification * get_lazy() const { return UNTAG(lazy_justification*, m_data); } in get_lazy() function 104 lazy_justification * ptr = jst.get_lazy(); in del_jst()
|
H A D | nlsat_solver.cpp | 1293 if (j.get_lazy()->num_clauses() > 0) return; in updt_eq() 1294 if (j.get_lazy()->num_lits() > 0) return; in updt_eq() 2013 resolve_lazy_justification(b, *(jst.get_lazy())); in resolve() 2983 lazy_justification const& lz = *j.get_lazy(); in display()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/nlsat/ |
H A D | nlsat_justification.h | 78 lazy_justification * get_lazy() const { return UNTAG(lazy_justification*, m_data); } in get_lazy() function 104 lazy_justification * ptr = jst.get_lazy(); in del_jst()
|
/dports/lang/elixir-devel/elixir-1.13.1/lib/elixir/lib/ |
H A D | dict.ex | 41 def get_lazy(dict, key, fun) when is_function(fun, 0) do function 233 get_lazy: 3, 281 @spec get_lazy(t, key, (() -> value)) :: value 282 def get_lazy(dict, key, fun) do function 283 target(dict).get_lazy(dict, key, fun)
|
H A D | map.ex | 484 iex> Map.get_lazy(map, :a, fun) 486 iex> Map.get_lazy(map, :b, fun) 490 @spec get_lazy(map, key, (() -> value)) :: value 491 def get_lazy(map, key, fun) when is_function(fun, 0) do function
|
H A D | keyword.ex | 377 iex> Keyword.get_lazy(keyword, :a, fun) 379 iex> Keyword.get_lazy(keyword, :b, fun) 383 @spec get_lazy(t, key, (() -> value)) :: value 384 def get_lazy(keywords, key, fun) function
|
/dports/lang/elixir/elixir-1.12.3/lib/elixir/lib/ |
H A D | dict.ex | 41 def get_lazy(dict, key, fun) when is_function(fun, 0) do function 233 get_lazy: 3, 281 @spec get_lazy(t, key, (() -> value)) :: value 282 def get_lazy(dict, key, fun) do function 283 target(dict).get_lazy(dict, key, fun)
|
H A D | map.ex | 484 iex> Map.get_lazy(map, :a, fun) 486 iex> Map.get_lazy(map, :b, fun) 490 @spec get_lazy(map, key, (() -> value)) :: value 491 def get_lazy(map, key, fun) when is_function(fun, 0) do function
|
H A D | keyword.ex | 243 iex> Keyword.get_lazy(keyword, :a, fun) 245 iex> Keyword.get_lazy(keyword, :b, fun) 249 @spec get_lazy(t, key, (() -> value)) :: value 250 def get_lazy(keywords, key, fun) function
|
/dports/games/cuyo/cuyo-2.1.0/datasrc/pics/ |
H A D | vektorgraphik.ml | 38 let get_lazy l = match (!l) with function 530 let l = list_sum (function l,b -> laenge (get_lazy b)) p in 533 let b' = get_lazy b in 838 then get_lazy farbe1 841 else misch2 farbe2 (get_lazy farbe1) anteil 848 then get_lazy farbe1 968 get_lazy (List.fold_left 993 | Not_found -> get_lazy f)))
|
/dports/devel/elixir-eternal/eternal-1.2.0/lib/eternal/ |
H A D | supervisor.ex | 87 Keyword.get_lazy(opts, :name, fn ->
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/cp/ |
H A D | name-lookup.h | 106 unsigned get_lazy () const in get_lazy() function
|
H A D | ptree.c | 309 unsigned lazy = slot.get_lazy (); in cxx_print_xnode()
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/cp/ |
H A D | name-lookup.h | 106 unsigned get_lazy () const in get_lazy() function
|
H A D | ptree.c | 312 unsigned lazy = slot.get_lazy (); in cxx_print_xnode()
|
/dports/lang/gcc11/gcc-11.2.0/gcc/cp/ |
H A D | name-lookup.h | 106 unsigned get_lazy () const in get_lazy() function
|
H A D | ptree.c | 312 unsigned lazy = slot.get_lazy (); in cxx_print_xnode()
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/cp/ |
H A D | name-lookup.h | 106 unsigned get_lazy () const in get_lazy() function
|
H A D | ptree.c | 312 unsigned lazy = slot.get_lazy (); in cxx_print_xnode()
|
/dports/lang/elixir-devel/elixir-1.13.1/lib/logger/lib/logger/ |
H A D | handler.ex | 89 timestamp = Map.get_lazy(metadata, :time, fn -> :os.system_time(:microsecond) end)
|
/dports/lang/elixir/elixir-1.12.3/lib/logger/lib/logger/ |
H A D | handler.ex | 89 timestamp = Map.get_lazy(metadata, :time, fn -> :os.system_time(:microsecond) end)
|
/dports/lang/elixir-devel/elixir-1.13.1/lib/mix/lib/mix/tasks/ |
H A D | escript.build.ex | 167 |> Keyword.get_lazy(:strip_beams, fn ->
|
H A D | compile.app.ex | 138 path = Keyword.get_lazy(opts, :compile_path, &Mix.Project.compile_path/0)
|
/dports/lang/elixir/elixir-1.12.3/lib/mix/lib/mix/tasks/ |
H A D | escript.build.ex | 169 |> Keyword.get_lazy(:strip_beams, fn ->
|
H A D | compile.app.ex | 138 path = Keyword.get_lazy(opts, :compile_path, &Mix.Project.compile_path/0)
|