Remove some commented out code from sat.h

diff --git a/src/prop/sat.h b/src/prop/sat.h
index 14b42e44515f6c34f595f71b9936aa4496a2a3ee..8456e5d88403ad014bc5336f872f50125fe36d78 100644 (file)
--- a/src/prop/sat.h
+++ b/src/prop/sat.h
@@ -48,32 +48,6 @@ namespace prop {
 class PropEngine;
 class CnfStream;
 
-/* Definitions of abstract types and conversion functions for SAT interface */
-/*
-inline SatLiteral variableToLiteral(SatVariable var) {
-  return Minisat::mkLit(var);
-}
-
-inline bool literalSign(SatLiteral lit) {
-  return Minisat::sign(lit);
-}
-
-static inline size_t
-hashSatLiteral(const SatLiteral& literal) {
-  return (size_t) Minisat::toInt(literal);
-}
-
-inline std::string stringOfLiteralValue(SatLiteralValue val) {
-  if( val == l_False ) {
-    return "0";
-  } else if (val == l_True ) {
-    return "1";
-  } else { // unknown
-    return "_";
-  }
-}
-*/
-
 /**
  * The proxy class that allows the SatSolver to communicate with the theories
  */