C++ (Cpp) LOG_Z3_tactic_using_paramsの例

コード例 #1

ファイル: api_tactic.cpp プロジェクト: Moondee/Artemis

 Z3_tactic Z3_API Z3_tactic_using_params(Z3_context c, Z3_tactic t, Z3_params p) {
     Z3_TRY;
     LOG_Z3_tactic_using_params(c, t, p);
     RESET_ERROR_CODE();
     tactic * new_t = using_params(to_tactic_ref(t), to_param_ref(p));
     RETURN_TACTIC(new_t);
     Z3_CATCH_RETURN(0);
 }

コード例 #2

ファイル: api_tactic.cpp プロジェクト: EinNarr/z3

 Z3_tactic Z3_API Z3_tactic_using_params(Z3_context c, Z3_tactic t, Z3_params p) {
     Z3_TRY;
     LOG_Z3_tactic_using_params(c, t, p);
     RESET_ERROR_CODE();
     param_descrs r;
     to_tactic_ref(t)->collect_param_descrs(r);
     to_param_ref(p).validate(r);
     tactic * new_t = using_params(to_tactic_ref(t), to_param_ref(p));
     RETURN_TACTIC(new_t);
     Z3_CATCH_RETURN(0);
 }