C++ (Cpp) sort::get_nameの例

コード例 #1

ファイル: pdecl.cpp プロジェクト: sukwon0709/byterun

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

コード例 #2

ファイル: pdecl.cpp プロジェクト: chadbrewbaker/z3

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