Parameterise fixpoint and strategy improvement

(command-line arguments specify which to use)

Also:
 - Fix up Complete<T> to work comparing `inf` to 1 (stupid bug)
 - Clean up the systems/ folder a bit
 - Change the printed output to differentiate variables and constants
   (!v/!c, respectively)
 - Perform a slight optimisation to the strategy-iteration process

1 files changed, 2 insertions, 2 deletions

diff --git a/impl/Expression.hpp b/impl/Expression.hpp
index 72318e4..7fc4542 100644
--- a/impl/Expression.hpp
+++ b/impl/Expression.hpp
@@ -29,7 +29,7 @@ struct Constant : public Expression<Domain> {
   }
 
   void print(std::ostream& cout) const {
-    cout << _value;
+    cout << _value << "!c";
   }
 
   private:
@@ -53,7 +53,7 @@ struct Variable : public Expression<Domain> {
   }
 
   void print(std::ostream& cout) const {
-    cout << name();
+    cout << _name << "!v";
   }
 
   private: