X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FInterpreter%2Fsignature.cc;h=94efbb2303cf850f7bfe47e0ed1621ff97aab810;hp=ad7d2e700fe9b81bbf2f3268c5340e07718c66bf;hb=4c58af641a877bb6d65769994c8fd57ecedbd22c;hpb=917bc08fb2d0ea78f6492323d52a4465b517809a

diff --git a/src/Interpreter/signature.cc b/src/Interpreter/signature.cc
index ad7d2e7..94efbb2 100644
--- a/src/Interpreter/signature.cc
+++ b/src/Interpreter/signature.cc
@@ -1,10 +1,6 @@
 #include "signature.h"
 #include "set.h"
 
-bool BooleanSig::encodeAbs = true;
-bool SetSig::encodeAbs = true;
-bool ElementSig::encodeAbs = true;
-
 ValuedSignature::ValuedSignature(uint id): 
 	Signature(id), 
 	value(-1) 
@@ -16,104 +12,6 @@ int ValuedSignature::getValue(){
 	return value;
 }
 
-BooleanSig::BooleanSig(uint id):
-	ValuedSignature(id)
-{
-}
-
-string BooleanSig::toString() const{
-	return "Boolean" + to_string(id) + ".value";
-}
-
-string BooleanSig::getSignature() const{
-	string str;
-	if(encodeAbs){
-		encodeAbs = false;
-		str += getAbsSignature();
-	}
-	str += "one sig Boolean" + to_string(id) + " extends AbsBool {}";
-	return str;
-}
-
-string BooleanSig::getAbsSignature() const{
-	string str;
-	if(SetSig::encodeAbs){
-		SetSig::encodeAbs = false;
-		str += "abstract sig AbsSet {\
-		domain: set Int\
-		}\n";
-	}
-	str +="one sig BooleanSet extends AbsSet {}{\n\
-	domain = 0 + 1 \n\
-	}\n\
-	abstract sig AbsBool {\
-	value: Int\
-	}{\n\
-	value in BooleanSet.domain\n\
-	}\n";
-	return str;
-}
-
-ElementSig::ElementSig(uint id, SetSig *_ssig): 
-	ValuedSignature(id),
-	ssig(_ssig)
-{
-}
-
-string ElementSig::toString() const{
-	return "Element" + to_string(id) + ".value";
-}
-
-string ElementSig::getSignature() const{
-	string str;
-	if(encodeAbs){
-		encodeAbs = false;
-		str += getAbsSignature();
-	}
-	str += "one sig Element" + to_string(id) + " extends AbsElement {}{\n\
-		value in " + *ssig + "\n\
-		}";
-	return str;
-}
-
-string ElementSig::getAbsSignature() const{
-	return "abstract sig AbsElement {\n\
-		value: Int\n\
-		}\n";
-	
-}
-
-SetSig::SetSig(uint id, Set *set): Signature(id){
-	ASSERT(set->getSize() > 0);
-	domain = to_string(set->getElement(0));
-	for(uint i=1; i< set->getSize(); i++){
-		domain += " + " + to_string(set->getElement(i));
-	}
-}
-
-string SetSig::toString() const{
-	return "Set" + to_string(id) + ".domain";
-}
-
-string SetSig::getSignature() const{
-	string str;
-	if(encodeAbs){
-		encodeAbs = false;
-		str += getAbsSignature();
-	}
-	str += "one sig Set" + to_string(id) + " extends AbsSet {}{\n\
-		domain = " + domain + "\n\
-		}";
-	return str;
-}
-
-string SetSig::getAbsSignature() const{
-	return "abstract sig AbsSet {\n\
-		domain: set Int\n\
-		}\n";
-	
-}
-
 string Signature::operator+(const string& str){
 	return toString() + str;
 }