/dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/core/ |
H A D | tseitin_cnf_tactic.cpp | 131 void push_frame(app * n) { m_frame_stack.push_back(frame(n)); } in push_frame() function 217 push_frame(to_app(n)); in visit() 226 push_frame(to_app(n)); in visit() 232 push_frame(to_app(n)); in visit()
|
/dports/multimedia/ffmpeg/ffmpeg-4.4.1/libavfilter/ |
H A D | avf_showwaves.c | 549 inline static int push_frame(AVFilterLink *outlink) in push_frame() function 631 return push_frame(outlink); in push_single_pic() 646 push_frame(outlink); in request_frame() 728 if ((ret = push_frame(outlink)) < 0) in showwaves_filter_frame()
|
H A D | avf_concat.c | 174 static int push_frame(AVFilterContext *ctx, unsigned in_no, AVFrame *buf) in push_frame() function 393 return push_frame(ctx, cat->cur_idx + i, frame); in activate()
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/ffmpeg/libavfilter/ |
H A D | avf_showwaves.c | 549 inline static int push_frame(AVFilterLink *outlink) in push_frame() function 631 return push_frame(outlink); in push_single_pic() 646 push_frame(outlink); in request_frame() 728 if ((ret = push_frame(outlink)) < 0) in showwaves_filter_frame()
|
H A D | avf_concat.c | 174 static int push_frame(AVFilterContext *ctx, unsigned in_no, AVFrame *buf) in push_frame() function 393 return push_frame(ctx, cat->cur_idx + i, frame); in activate()
|
/dports/math/z3/z3-z3-4.8.13/src/tactic/core/ |
H A D | tseitin_cnf_tactic.cpp | 131 void push_frame(app * n) { m_frame_stack.push_back(frame(n)); } in push_frame() function 217 push_frame(to_app(n)); in visit() 226 push_frame(to_app(n)); in visit() 232 push_frame(to_app(n)); in visit()
|
/dports/math/z3/z3-z3-4.8.13/src/ast/ |
H A D | ast_smt2_pp.cpp | 546 void push_frame(expr * n, bool use_alias) { in push_frame() function in smt2_printer 683 push_frame(arg, fr.m_use_alias); in process_args() 688 push_frame(arg, fr.m_use_alias); in process_args() 942 push_frame(q->get_pattern(idx), false); in process_quantifier() 945 push_frame(q->get_no_pattern(idx - q->get_num_patterns()), false); in process_quantifier() 948 push_frame(q->get_expr(), fr.m_use_alias); in process_quantifier() 1047 push_frame(n, true); in process()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/ |
H A D | ast_smt2_pp.cpp | 546 void push_frame(expr * n, bool use_alias) { in push_frame() function in smt2_printer 683 push_frame(arg, fr.m_use_alias); in process_args() 688 push_frame(arg, fr.m_use_alias); in process_args() 942 push_frame(q->get_pattern(idx), false); in process_quantifier() 945 push_frame(q->get_no_pattern(idx - q->get_num_patterns()), false); in process_quantifier() 948 push_frame(q->get_expr(), fr.m_use_alias); in process_quantifier() 1047 push_frame(n, true); in process()
|
/dports/textproc/p5-Text-Xslate/Text-Xslate-3.4.0/lib/Text/Xslate/PP/ |
H A D | State.pm | 140 sub push_frame { subroutine
|
/dports/multimedia/v4l_compat/linux-5.13-rc2/drivers/md/persistent-data/ |
H A D | dm-btree.c | 208 static int push_frame(struct del_stack *s, dm_block_t b, unsigned level) in push_frame() function 287 r = push_frame(s, root, 0); in dm_btree_del() 309 r = push_frame(s, b, f->level); in dm_btree_del() 316 r = push_frame(s, b, f->level + 1); in dm_btree_del()
|
/dports/multimedia/v4l-utils/linux-5.13-rc2/drivers/md/persistent-data/ |
H A D | dm-btree.c | 208 static int push_frame(struct del_stack *s, dm_block_t b, unsigned level) in push_frame() function 287 r = push_frame(s, root, 0); in dm_btree_del() 309 r = push_frame(s, b, f->level); in dm_btree_del() 316 r = push_frame(s, b, f->level + 1); in dm_btree_del()
|
/dports/multimedia/libv4l/linux-5.13-rc2/drivers/md/persistent-data/ |
H A D | dm-btree.c | 208 static int push_frame(struct del_stack *s, dm_block_t b, unsigned level) in push_frame() function 287 r = push_frame(s, root, 0); in dm_btree_del() 309 r = push_frame(s, b, f->level); in dm_btree_del() 316 r = push_frame(s, b, f->level + 1); in dm_btree_del()
|
/dports/multimedia/gstreamer1-libav/gst-libav-1.16.2/gst-libs/ext/libav/libavfilter/ |
H A D | avf_concat.c | 161 static int push_frame(AVFilterContext *ctx, unsigned in_no, AVFrame *buf) in push_frame() function 376 return push_frame(ctx, cat->cur_idx + i, frame); in activate()
|
/dports/multimedia/mkvtoolnix/mkvtoolnix-65.0.0/src/common/ |
H A D | aac.h | 219 void push_frame(frame_c &frame);
|
/dports/multimedia/handbrake/ffmpeg-4.4/libavfilter/ |
H A D | avf_concat.c | 174 static int push_frame(AVFilterContext *ctx, unsigned in_no, AVFrame *buf) in push_frame() function 393 return push_frame(ctx, cat->cur_idx + i, frame); in activate()
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/ffmpeg/libavfilter/ |
H A D | avf_concat.c | 174 static int push_frame(AVFilterContext *ctx, unsigned in_no, AVFrame *buf) in push_frame() function 389 return push_frame(ctx, cat->cur_idx + i, frame); in activate()
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/analyzer/ |
H A D | sm-signal.cc | 180 model->push_frame (handler_fun, NULL, NULL); in update_model_for_signal_handler()
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/analyzer/ |
H A D | sm-signal.cc | 204 model->push_frame (handler_fun, NULL, NULL); in update_model_for_signal_handler()
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/analyzer/ |
H A D | sm-signal.cc | 180 model->push_frame (handler_fun, NULL, NULL); in update_model_for_signal_handler()
|
/dports/lang/gcc10/gcc-10.3.0/gcc/analyzer/ |
H A D | sm-signal.cc | 180 model->push_frame (handler_fun, NULL, NULL); in update_model_for_signal_handler()
|
/dports/devel/hyperscan/boost_1_75_0/boost/asio/impl/ |
H A D | awaitable.hpp | 228 void push_frame(awaitable_frame_base<Executor>* caller) noexcept in push_frame() function in boost::asio::detail::awaitable_frame_base
|
/dports/devel/boost-python-libs/boost_1_72_0/boost/asio/impl/ |
H A D | awaitable.hpp | 228 void push_frame(awaitable_frame_base<Executor>* caller) noexcept in push_frame() function in boost::asio::detail::awaitable_frame_base
|
/dports/audio/carla/Carla-2.4.1/source/modules/hylia/link/asio/impl/ |
H A D | awaitable.hpp | 227 void push_frame(awaitable_frame_base<Executor>* caller) noexcept in push_frame() function in asio::detail::awaitable_frame_base
|
/dports/math/stanmath/math-4.2.0/lib/boost_1.75.0/boost/asio/impl/ |
H A D | awaitable.hpp | 228 void push_frame(awaitable_frame_base<Executor>* caller) noexcept in push_frame() function in boost::asio::detail::awaitable_frame_base
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/analyzer/ |
H A D | sm-signal.cc | 211 model->push_frame (handler_fun, NULL, NULL); in update_model_for_signal_handler()
|