Home
last modified time | relevance | path

Searched refs:get_lazy (Results 1 – 25 of 37) sorted by relevance

12

/dports/math/z3/z3-z3-4.8.13/src/nlsat/
H A Dnlsat_justification.h78 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 Dnlsat_solver.cpp1293 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 Dnlsat_justification.h78 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 Ddict.ex41 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 Dmap.ex484 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 Dkeyword.ex377 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 Ddict.ex41 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 Dmap.ex484 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 Dkeyword.ex243 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 Dvektorgraphik.ml38 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 Dsupervisor.ex87 Keyword.get_lazy(opts, :name, fn ->
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/cp/
H A Dname-lookup.h106 unsigned get_lazy () const in get_lazy() function
H A Dptree.c309 unsigned lazy = slot.get_lazy (); in cxx_print_xnode()
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/cp/
H A Dname-lookup.h106 unsigned get_lazy () const in get_lazy() function
H A Dptree.c312 unsigned lazy = slot.get_lazy (); in cxx_print_xnode()
/dports/lang/gcc11/gcc-11.2.0/gcc/cp/
H A Dname-lookup.h106 unsigned get_lazy () const in get_lazy() function
H A Dptree.c312 unsigned lazy = slot.get_lazy (); in cxx_print_xnode()
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/cp/
H A Dname-lookup.h106 unsigned get_lazy () const in get_lazy() function
H A Dptree.c312 unsigned lazy = slot.get_lazy (); in cxx_print_xnode()
/dports/lang/elixir-devel/elixir-1.13.1/lib/logger/lib/logger/
H A Dhandler.ex89 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 Dhandler.ex89 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 Descript.build.ex167 |> Keyword.get_lazy(:strip_beams, fn ->
H A Dcompile.app.ex138 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 Descript.build.ex169 |> Keyword.get_lazy(:strip_beams, fn ->
H A Dcompile.app.ex138 path = Keyword.get_lazy(opts, :compile_path, &Mix.Project.compile_path/0)

12