[PPL-devel] [GIT] ppl/ppl(pip): Drafted implementation for ascii_dump and ascii_load methods.

[Enea Zaffanella]

Module: ppl/ppl
Branch: pip
Commit: 68aad9bf5bd2c263a3a5ee871eaf6a391be7a10b
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68aad9bf5bd2c263a3a5ee871eaf6a391be7a10b

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Sep  3 16:10:55 2009 +0200

Drafted implementation for ascii_dump and ascii_load methods.

---

 src/PIP_Problem.cc      |  154 +++++++++++++++++++++++++++++++++++++++++++++++
 src/PIP_Problem.defs.hh |    3 +
 2 files changed, 157 insertions(+), 0 deletions(-)

diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc
index 2a1089d..5a561a9 100644
--- a/src/PIP_Problem.cc
+++ b/src/PIP_Problem.cc
@@ -77,3 +77,157 @@ PPL::PIP_Problem::OK() const {
   //FIXME
   return true;
 }
+
+void
+PPL::PIP_Problem::ascii_dump(std::ostream& s) const {
+  using namespace IO_Operators;
+  s << "\nexternal_space_dim: " << external_space_dim << " \n";
+  s << "\ninternal_space_dim: " << internal_space_dim << " \n";
+
+  const dimension_type input_cs_size = input_cs.size();
+
+  s << "\ninput_cs( " << input_cs_size << " )\n";
+  for (dimension_type i = 0; i < input_cs_size; ++i)
+    input_cs[i].ascii_dump(s);
+
+  s << "\nfirst_pending_constraint: " <<  first_pending_constraint
+    << std::endl;
+
+  s << "\ninitialized: " << (initialized ? "YES" : "NO") << "\n";
+
+  s << "\nstatus: ";
+  switch (status) {
+  case UNSATISFIABLE:
+    s << "UNSATISFIABLE";
+    break;
+  case SATISFIABLE:
+    s << "SATISFIABLE";
+    break;
+  case OPTIMIZED:
+    s << "OPTIMIZED";
+    break;
+  case PARTIALLY_SATISFIABLE:
+    s << "PARTIALLY_SATISFIABLE";
+    break;
+  }
+  s << "\n";
+
+  s << "\nparameters";
+  parameters.ascii_dump(s);
+
+  s << "\nsimplex_tableau\n";
+  tableau.s.ascii_dump(s);
+
+  s << "\nparameter_tableau\n";
+  tableau.t.ascii_dump(s);
+}
+
+PPL_OUTPUT_DEFINITIONS(PIP_Problem)
+
+bool
+PPL::PIP_Problem::ascii_load(std::istream& s) {
+  std::string str;
+  if (!(s >> str) || str != "external_space_dim:")
+    return false;
+
+  if (!(s >> external_space_dim))
+    return false;
+
+  if (!(s >> str) || str != "internal_space_dim:")
+    return false;
+
+  if (!(s >> internal_space_dim))
+    return false;
+
+  if (!(s >> str) || str != "input_cs(")
+    return false;
+
+  dimension_type input_cs_size;
+
+  if (!(s >> input_cs_size))
+    return false;
+
+  if (!(s >> str) || str != ")")
+    return false;
+
+  Constraint c(Constraint::zero_dim_positivity());
+  for (dimension_type i = 0; i < input_cs_size; ++i) {
+    if (!c.ascii_load(s))
+      return false;
+    input_cs.push_back(c);
+  }
+
+  if (!(s >> str) || str != "first_pending_constraint:")
+    return false;
+
+  if (!(s >> first_pending_constraint))
+    return false;
+
+  if (!(s >> str) || str != "initialized:")
+    return false;
+  if (!(s >> str))
+    return false;
+  if (str == "YES")
+    initialized = true;
+  else if (str == "NO")
+    initialized = false;
+  else
+    return false;
+
+  if (!(s >> str) || str != "status:")
+    return false;
+
+  if (!(s >> str))
+    return false;
+
+  if (str == "UNSATISFIABLE")
+    status = UNSATISFIABLE;
+  else if (str == "SATISFIABLE")
+    status = SATISFIABLE;
+  else if (str == "OPTIMIZED")
+    status = OPTIMIZED;
+  else if (str == "PARTIALLY_SATISFIABLE")
+    status = PARTIALLY_SATISFIABLE;
+  else
+    return false;
+
+  if (!(s >> str) || str != "parameters")
+    return false;
+
+  if (!parameters.ascii_load(s))
+    return false;
+
+  if (!(s >> str) || str != "simplex_tableau")
+    return false;
+  if (!tableau.s.ascii_load(s))
+    return false;
+
+  if (!(s >> str) || str != "parameter_tableau")
+    return false;
+  if (!tableau.t.ascii_load(s))
+    return false;
+
+  PPL_ASSERT(OK());
+  return true;
+}
+
+void
+PPL::PIP_Problem::Rational_Matrix::ascii_dump(std::ostream& s) const {
+  s << "denominator " << denominator << "\n";
+  Matrix::ascii_dump(s);
+}
+
+bool
+PPL::PIP_Problem::Rational_Matrix::ascii_load(std::istream& s) {
+  std::string str;
+  if (!(s >> str) || str != "denominator")
+    return false;
+  Coefficient den;
+  if (!(s >> den))
+    return false;
+  denominator = den;
+
+  return Matrix::ascii_load(s);
+}
+
+
diff --git a/src/PIP_Problem.defs.hh b/src/PIP_Problem.defs.hh
index 5a0ce38..818f785 100644
--- a/src/PIP_Problem.defs.hh
+++ b/src/PIP_Problem.defs.hh
@@ -326,6 +326,9 @@ private:
     //! Returns the value of the denominator.
     const Coefficient &get_denominator() const;
 
+    void ascii_dump(std::ostream& s) const;
+    bool ascii_load(std::istream& s);
+
   protected:
     Coefficient denominator;
   };