| /dports/misc/vifm/vifm-0.11/src/menus/ |
| H A D | undolist_menu.c | 35 static void unset_mark(menu_data_t *m, int pos);
69 unset_mark(m, un_get_list_pos(with_details)); in undolist_khandler()
92 unset_mark(menu_data_t *m, int pos) in unset_mark() function
|
| /dports/audio/denemo/denemo-2.0.6/src/command/ |
| H A D | select.h | 40 void unset_mark (GtkAction * action, DenemoScriptParam * param);
|
| H A D | select.c | 724 unset_mark (GtkAction* action, DenemoScriptParam * param) in unset_mark() function
|
| /dports/math/z3/z3-z3-4.8.13/src/smt/ |
| H A D | smt_conflict_resolution.cpp | 226 (*it)->unset_mark(); in unmark_justifications()
465 m_ctx.unset_mark(var); in finalize_resolve()
585 m_ctx.unset_mark(c_var); in resolve()
624 m_ctx.unset_mark(m_unmark[i]); in reset_unmark()
1343 m_ctx.unset_mark(lit.var()); in mk_conflict_proof()
|
| H A D | smt_enode.cpp | 319 enodes[i]->unset_mark(); in unmark_enodes()
|
| H A D | smt_enode.h | 257 void unset_mark() { in unset_mark() function
|
| H A D | smt_justification.h | 85 void unset_mark() { SASSERT(m_mark); m_mark = false; } in unset_mark() function
|
| H A D | smt_induction.cpp.disabled | 171 n->unset_mark();
199 n->unset_mark();
|
| H A D | theory_pb.cpp | 1854 ctx.unset_mark(v); in resolve_conflict()
1960 ctx.unset_mark(v); in resolve_conflict()
|
| H A D | smt_context.h | 443 void unset_mark(bool_var v) { in unset_mark() function
|
| H A D | mam.cpp | 2023 app->unset_mark(); in execute()
|
| H A D | smt_context.cpp | 621 parent->unset_mark(); in reinsert_parents_into_cg_table()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
| H A D | smt_conflict_resolution.cpp | 226 (*it)->unset_mark(); in unmark_justifications()
464 m_ctx.unset_mark(var); in finalize_resolve()
583 m_ctx.unset_mark(c_var); in resolve()
622 m_ctx.unset_mark(m_unmark[i]); in reset_unmark()
1340 m_ctx.unset_mark(lit.var()); in mk_conflict_proof()
|
| H A D | smt_induction.cpp | 171 n->unset_mark(); in induction_positions()
199 n->unset_mark(); in induction_positions2()
|
| H A D | smt_enode.h | 260 void unset_mark() { in unset_mark() function
|
| H A D | smt_enode.cpp | 319 enodes[i]->unset_mark(); in unmark_enodes()
|
| H A D | smt_justification.h | 85 void unset_mark() { SASSERT(m_mark); m_mark = false; } in unset_mark() function
|
| H A D | theory_pb.cpp | 1854 ctx.unset_mark(v); in resolve_conflict()
1960 ctx.unset_mark(v); in resolve_conflict()
|
| H A D | smt_context.h | 442 void unset_mark(bool_var v) { in unset_mark() function
|
| H A D | mam.cpp | 2039 app->unset_mark(); in execute()
|
| H A D | smt_context.cpp | 633 parent->unset_mark(); in reinsert_parents_into_cg_table()
|
| /dports/audio/denemo/denemo-2.0.6/src/generated/ |
| H A D | register_commands.h | 186 register_command("UnsetMark", _("Unset Mark"), _("Gets rid of the selection."), unset_mark);
|
| H A D | entries.h | 187 {"UnsetMark", NULL, N_("Unset Mark"), "",N_("Gets rid of the selection."),G_CALLBACK (unset_mark)},
|
| H A D | scheme_cb.h | 557 return scheme_call_callback(optional, unset_mark); in scheme_UnsetMark()
|