diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-03-02 23:43:50 +0000 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-03-02 23:43:50 +0000 |
commit | 41483ef432845445816409454a2ea09872ed1afd (patch) | |
tree | d431258b2438d687562b8e0ecfbd834a944dbac2 /src | |
parent | 98b2fe2c6fefb15b57d2eae6bda505e1f41da451 (diff) |
Remove some commented out code from sat.h
Diffstat (limited to 'src')
-rw-r--r-- | src/prop/sat.h | 26 |
1 files changed, 0 insertions, 26 deletions
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 */ |