Home
last modified time | relevance | path

Searched defs:get_justification (Results 1 – 23 of 23) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dsmt_eq_justification.h67 …justification * get_justification() const { SASSERT(get_kind() == JUSTIFICATION); return UNTAG(jus… in get_justification() function
H A Dsmt_b_justification.h66 justification * get_justification() const { in get_justification() function
H A Dsmt_clause.h228 justification * get_justification() const { in get_justification() function
H A Dtheory_str.h223 svector<expr*> get_justification(unsigned v) { in get_justification() function
H A Dsmt_context.h394 b_justification get_justification(bool_var v) const { in get_justification() function
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dsmt_eq_justification.h67 …justification * get_justification() const { SASSERT(get_kind() == JUSTIFICATION); return UNTAG(jus… in get_justification() function
H A Dsmt_b_justification.h66 justification * get_justification() const { in get_justification() function
H A Dsmt_clause.h228 justification * get_justification() const { in get_justification() function
H A Dtheory_str.h270 svector<expr*> get_justification(unsigned v) { in get_justification() function
H A Dsmt_context.h393 b_justification get_justification(bool_var v) const { in get_justification() function
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/smt/
H A Deuf_solver.h78 size_t get_justification(size_t* p) const { in get_justification() function
/dports/math/z3/z3-z3-4.8.13/src/sat/
H A Dsat_solver.h380 justification get_justification(literal l) const { return m_justification[l.var()]; } in get_justification() function
381 justification get_justification(bool_var v) const { return m_justification[v]; } in get_justification() function
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/
H A Dsat_solver.h362 justification get_justification(literal l) const { return m_justification[l.var()]; } in get_justification() function
363 justification get_justification(bool_var v) const { return m_justification[v]; } in get_justification() function
/dports/math/z3/z3-z3-4.8.13/src/sat/smt/
H A Deuf_solver.h86 size_t get_justification(size_t* p) const { in get_justification() function
/dports/x11-toolkits/gtkmm30/gtkmm-3.24.2/gtk/gtkmm/
H A Dtextview.cc600 Justification TextView::get_justification() const in get_justification() function in Gtk::TextView
/dports/x11-toolkits/gtkmm24/gtkmm-2.24.5/gtk/gtkmm/
H A Dtextview.cc688 Justification TextView::get_justification() const in get_justification() function in Gtk::TextView
/dports/www/castor/castor-0.8.16/cargo-crates/gtk-0.8.0/src/auto/
H A Dtext_view.rs711 fn get_justification(&self) -> Justification; in get_justification() method
1215 fn get_justification(&self) -> Justification { in get_justification() method
/dports/x11/squeekboard/squeekboard-d49ce45de0956432cef9b957f806d9377fee4bc0/cargo-crates/gtk-0.7.0/src/auto/
H A Dtext_view.rs735 fn get_justification(&self) -> Justification; in get_justification() method
1235 fn get_justification(&self) -> Justification { in get_justification() method
/dports/net-im/fractal/fractal-4.4.0/vendor/gtk/src/auto/
H A Dtext_view.rs711 fn get_justification(&self) -> Justification; in get_justification() method
1215 fn get_justification(&self) -> Justification { in get_justification() method
/dports/editors/lazarus/lazarus/lcl/interfaces/gtk3/gtk3bindings/
H A Dlazgtk3.pas10064 function get_justification: TGtkJustification; cdecl; inline; in get_justification() function
28001 function TGtkTextView.get_justification: TGtkJustification; cdecl; in get_justification() function
/dports/editors/lazarus-devel/lazarus-6df7e8756882f7d7f28f662011ee72f21746c580/lcl/interfaces/gtk3/gtk3bindings/
H A Dlazgtk3.pas10071 function get_justification: TGtkJustification; cdecl; inline; in get_justification() function
28056 function TGtkTextView.get_justification: TGtkJustification; cdecl; in get_justification() function
/dports/editors/lazarus-qt5/lazarus/lcl/interfaces/gtk3/gtk3bindings/
H A Dlazgtk3.pas10064 function get_justification: TGtkJustification; cdecl; inline; in get_justification() function
28001 function TGtkTextView.get_justification: TGtkJustification; cdecl; in get_justification() function
/dports/editors/lazarus-qt5-devel/lazarus-6df7e8756882f7d7f28f662011ee72f21746c580/lcl/interfaces/gtk3/gtk3bindings/
H A Dlazgtk3.pas10071 function get_justification: TGtkJustification; cdecl; inline; in get_justification() function
28056 function TGtkTextView.get_justification: TGtkJustification; cdecl; in get_justification() function