Searched defs:applyLabel (Results 1 – 5 of 5) sorted by relevance
59 XmString applyLabel = XmStringCreateLocalized(const_cast<char*>("Apply")); in createDialog() local
611 const char* applyLabel) in setButtonLabels()
301 auto applyLabel = [&labelFmtList](quint16 start, quint16 end, Label label) { in additionalFormats() local
1265 Node TheorySep::applyLabel( Node n, Node lbl, std::map< Node, Node >& visited ) { in applyLabel() function in CVC4::theory::sep::TheorySep