[PPL-devel] [GIT] ppl/ppl(termination): Added stub implementations for one_affine_ranking_function_PR() and all_affine_ranking_functions_PR().

[Roberto Bagnara]

Module: ppl/ppl
Branch: termination
Commit: 7bf82f6ed4a2435e5cab78a397340d7ec4accceb
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bf82f6ed4a2435e5cab78a397340d7ec4accceb

Author: Roberto Bagnara <bagnara at 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)