Home
last modified time | relevance | path

Searched refs:s_lbl (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/sep/
H A Dtheory_sep.cpp338 if( is_spatial && s_lbl.isNull() ){ in check()
423 if( s_lbl!=ss ){ in check()
496 Assert( s_lbl==pto_lbl ); in check()
556 TNode s_lbl = atom[1]; in check() local
576 if( d_neg_guard[s_lbl].find( s_atom )!=d_neg_guard[s_lbl].end() ){ in check()
599 TNode s_lbl = atom[1]; in check() local
601 computeLabelModel( s_lbl ); in check()
653 TNode s_lbl = atom[1]; in check() local
678 TNode s_lbl = atom[1]; in check() local
733 …ind( d_refinement_lem[s_atom][s_lbl].begin(), d_refinement_lem[s_atom][s_lbl].end(), lem )==d_refi… in check()
[all …]
/dports/science/gramps/gramps-5.1.4/gramps/gui/editors/
H A Deditcitation.py279 s_lbl = "%s [%s]" % (source.get_title(), source.gramps_id)
280 self.glade.get_object("source").set_text(s_lbl)