Adding SMT Interpreters

[satune.git] / src / Interpreter / signature.h

diff --git a/src/Interpreter/signature.h b/src/Interpreter/signature.h
index 1b321a6f134590f8d7bbac8fbcece632119d9861..e8c9e1c999c499207d2399d4119834c513655d11 100644 (file)
--- a/src/Interpreter/signature.h
+++ b/src/Interpreter/signature.h
@@ -1,5 +1,5 @@
-#ifndef ELEMENTSIG_H
-#define ELEMENTSIG_H
+#ifndef SIGNATURE_H
+#define SIGNATURE_H

 #include <string>
 #include <iostream>
 #include "classlist.h"
 #include <string>
 #include <iostream>
 #include "classlist.h"


@@ -26,41 +26,6 @@ protected:
        int value;
 };
 
        int value;
 };
 

-class BooleanSig: public ValuedSignature{
-public:
-       BooleanSig(uint id);
-       virtual ~BooleanSig(){}
-       virtual string toString() const;
-       virtual string getAbsSignature() const;
-       virtual string getSignature() const;
-private:
-       static bool encodeAbs;
-};
-
-class SetSig: public Signature{
-public:
-       SetSig(uint id, Set *set);
-       virtual ~SetSig(){}
-       virtual string toString() const;
-       virtual string getAbsSignature() const;
-       virtual string getSignature() const;
-       static bool encodeAbs;
-private:
-       string domain;
-};
-
-class ElementSig: public ValuedSignature{
-public:
-       ElementSig(uint id, SetSig *ssig);
-       virtual ~ElementSig(){}
-       virtual string toString() const;
-       virtual string getAbsSignature() const;
-       virtual string getSignature() const;
-private:
-       SetSig *ssig;
-       static bool encodeAbs;
-};
-

 string operator+(const string& str, const Signature& sig);
 
 #endif
 string operator+(const string& str, const Signature& sig);
 
 #endif