Searched refs:g_undo (Results 1 – 2 of 2) sorted by relevance
4219 inline static void g_undo(clingo_propagate_control_t const *ctl, clingo_literal_t const *changes, s… in g_undo() function4250 Detail::g_undo, in register_propagator()4262 Detail::g_undo, in register_propagator()
7370 static Xen g_undo(Xen ed_n, Xen snd, Xen chn_n) /* opt ed_n */ in g_undo() function9103 Xen_wrap_3_optional_args(g_undo_w, g_undo) in Xen_wrap_5_optional_args()