Esempi in C++ (Cpp) per sort::get_name

Esempio n. 1

File: pdecl.cpp Progetto: sukwon0709/byterun

 virtual void display(std::ostream & out) const {
     out << m_sort->get_name();
 }

Esempio n. 2

File: pdecl.cpp Progetto: chadbrewbaker/z3

 void display(std::ostream & out) const override {
     out << m_sort->get_name();
 }