C++ (Cpp) goal::displayの例

コード例 #1

ファイル: simplify_tactic.cpp プロジェクト: abhishekudupa/z3-4.3.1

 void operator()(goal & g) {
     SASSERT(g.is_well_sorted());
     tactic_report report("simplifier", g);
     TRACE("before_simplifier", g.display(tout););

コード例 #2

ファイル: der_tactic.cpp プロジェクト: jackluo923/juxta

 void operator()(goal & g) {
     SASSERT(g.is_well_sorted());
     bool proofs_enabled = g.proofs_enabled();
     tactic_report report("der", g);
     TRACE("before_der", g.display(tout););