Home
last modified time | relevance | path

Searched refs:process_atom (Results 1 – 18 of 18) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/nlsat/tactic/
H A Dgoal2nlsat.cpp112 nlsat::literal process_atom(app * f, nlsat::atom::kind k) { in process_atom() function
156 return process_atom(f, nlsat::atom::EQ); in process_eq()
160 return ~process_atom(f, nlsat::atom::GT); in process_le()
164 return ~process_atom(f, nlsat::atom::LT); in process_ge()
179 nlsat::literal process_atom(expr * f) { in process_atom() function
230 nlsat::literal l = process_atom(f); in process_literal()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/nlsat/tactic/
H A Dgoal2nlsat.cpp112 nlsat::literal process_atom(app * f, nlsat::atom::kind k) { in process_atom() function
156 return process_atom(f, nlsat::atom::EQ); in process_eq()
160 return ~process_atom(f, nlsat::atom::GT); in process_le()
164 return ~process_atom(f, nlsat::atom::LT); in process_ge()
179 nlsat::literal process_atom(expr * f) { in process_atom() function
230 nlsat::literal l = process_atom(f); in process_literal()
/dports/mail/rspamd/rspamd-3.1/lualib/
H A Dlua_maps_expressions.lua48 local function process_atom(atom) function
80 local res = elt.expr:process(process_atom)
/dports/mail/rspamd-devel/rspamd-93430bb/lualib/
H A Dlua_maps_expressions.lua48 local function process_atom(atom) function
80 local res = elt.expr:process(process_atom)
/dports/www/firefox/firefox-99.0/third_party/libwebrtc/modules/desktop_capture/linux/
H A Dwindow_capturer_x11.cc241 Atom process_atom = XInternAtom(display(), "_NET_WM_PID", True); in GetWindowProcessID() local
242 XWindowProperty<uint32_t> process_id(display(), window, process_atom); in GetWindowProcessID()
/dports/mail/thunderbird/thunderbird-91.8.0/third_party/libwebrtc/webrtc/modules/desktop_capture/linux/
H A Dwindow_capturer_x11.cc240 Atom process_atom = XInternAtom(display(), "_NET_WM_PID", True); in GetWindowProcessID() local
241 XWindowProperty<uint32_t> process_id(display(), window, process_atom); in GetWindowProcessID()
/dports/www/firefox-esr/firefox-91.8.0/third_party/libwebrtc/webrtc/modules/desktop_capture/linux/
H A Dwindow_capturer_x11.cc240 Atom process_atom = XInternAtom(display(), "_NET_WM_PID", True); in GetWindowProcessID() local
241 XWindowProperty<uint32_t> process_id(display(), window, process_atom); in GetWindowProcessID()
/dports/lang/spidermonkey78/firefox-78.9.0/media/webrtc/trunk/webrtc/modules/desktop_capture/linux/
H A Dwindow_capturer_x11.cc240 Atom process_atom = XInternAtom(display(), "_NET_WM_PID", True); in GetWindowProcessID() local
241 XWindowProperty<uint32_t> process_id(display(), window, process_atom); in GetWindowProcessID()
/dports/mail/rspamd-devel/rspamd-93430bb/src/plugins/lua/
H A Dforce_actions.lua49 local function process_atom(atom, task) function
62 local e, err = rspamd_expression.create(params.expr, {parse_atom, process_atom}, params.pool)
H A Dsettings.lua289 local function process_atom(atom) function
307 res = rule.expression and rule.expression:process(process_atom)
H A Dmultimap.lua1215 local function process_atom(atom, task) function
1227 {parse_atom, process_atom}, rspamd_config:get_mempool())
/dports/mail/rspamd/rspamd-3.1/src/plugins/lua/
H A Dforce_actions.lua49 local function process_atom(atom, task) function
62 local e, err = rspamd_expression.create(params.expr, {parse_atom, process_atom}, params.pool)
H A Dsettings.lua277 local function process_atom(atom) function
295 res = rule.expression and rule.expression:process(process_atom)
H A Dmultimap.lua1215 local function process_atom(atom, task) function
1227 {parse_atom, process_atom}, rspamd_config:get_mempool())
/dports/lang/spidermonkey60/firefox-60.9.0/media/webrtc/trunk/webrtc/modules/desktop_capture/
H A Dwindow_capturer_x11.cc397 Atom process_atom = XInternAtom(display(), "_NET_WM_PID", True); in GetWindowProcessID() local
398 XWindowProperty<uint32_t> process_id(display(), window, process_atom); in GetWindowProcessID()
/dports/www/firefox-legacy/firefox-52.8.0esr/media/webrtc/trunk/webrtc/modules/desktop_capture/
H A Dwindow_capturer_x11.cc398 Atom process_atom = XInternAtom(display(), "_NET_WM_PID", True); in GetWindowProcessID() local
399 XWindowProperty<uint32_t> process_id(display(), window, process_atom); in GetWindowProcessID()
/dports/multimedia/mkvtoolnix/mkvtoolnix-65.0.0/src/input/
H A Dr_qtmp4.cpp411 qtmp4_reader_c::process_atom(qt_atom_t const &parent, in process_atom() function in qtmp4_reader_c
435 process_atom(parent, level, [&](qt_atom_t const &atom) { in handle_cmov_atom()
687 process_atom(parent, level, [&](qt_atom_t const &atom) { in handle_mdia_atom()
703 process_atom(parent, level, [&](qt_atom_t const &atom) { in handle_minf_atom()
715 process_atom(parent, level, [&](qt_atom_t const &atom) { in handle_moov_atom()
743 process_atom(parent, level, [&](qt_atom_t const &atom) { in handle_mvex_atom()
772 process_atom(parent, level, [&](qt_atom_t const &atom) { in handle_moof_atom()
781 process_atom(parent, level, [&](qt_atom_t const &atom) { in handle_traf_atom()
955 process_atom(parent, level, [&](qt_atom_t const &atom) { in handle_udta_atom()
1003 process_atom(parent, level, [&](qt_atom_t const &atom) { in handle_meta_atom()
[all …]
H A Dr_qtmp4.h591 …virtual void process_atom(qt_atom_t const &parent, int level, std::function<void(qt_atom_t const &…