Module: ppl/ppl Branch: termination Commit: 7bf82f6ed4a2435e5cab78a397340d7ec4accceb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bf82f6ed4a24...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 8 13:53:49 2010 +0400
Added stub implementations for one_affine_ranking_function_PR() and all_affine_ranking_functions_PR().
---
src/termination.templates.hh | 18 ++++++++++++++++++ 1 files changed, 18 insertions(+), 0 deletions(-)
diff --git a/src/termination.templates.hh b/src/termination.templates.hh index ae36551..d7b775e 100644 --- a/src/termination.templates.hh +++ b/src/termination.templates.hh @@ -353,6 +353,24 @@ termination_test_PR(const PSET& pset) { return mip.is_satisfiable(); }
+template <typename PSET> +bool +one_affine_ranking_function_PR(const PSET& pset, Generator& mu) { + return false; +} + +template <typename PSET> +void +all_affine_ranking_functions_PR(const PSET& pset, C_Polyhedron& mu_space) { + using namespace Implementation::Termination; + Constraint_System cs; + dimension_type n; + dimension_type m; + prepare_input_MS_PR(pset, cs, n, m, "all_affine_ranking_functions_MS"); + + mu_space = C_Polyhedron(n+1, EMPTY); +} + } // namespace Parma_Polyhedra_Library
#endif // !defined(PPL_termination_templates_hh)