From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Fri, 2 Mar 2012 23:43:50 +0000 (+0000)
Subject: Remove some commented out code from sat.h
X-Git-Tag: cvc5-1.0.0~8286
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=41483ef432845445816409454a2ea09872ed1afd;p=cvc5.git

Remove some commented out code from sat.h
---

diff --git a/src/prop/sat.h b/src/prop/sat.h
index 14b42e445..8456e5d88 100644
--- 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
  */