diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-26 14:22:38 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-26 14:22:38 +0000 |
commit | 1ed3b1803bd0a25c56a62d290cd5dcb64c5085ce (patch) | |
tree | f65a0b2ad744a5f2b6408c34319aad10c7d2f406 /test | |
parent | 9918f0e86a38f5fc8671ec6115eaac9b2c3b31d8 (diff) |
More cleaning up.
Diffstat (limited to 'test')
-rw-r--r-- | test/unit/prop/cnf_stream_black.h | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/test/unit/prop/cnf_stream_black.h b/test/unit/prop/cnf_stream_black.h index d1f79f6ab..5c20b534d 100644 --- a/test/unit/prop/cnf_stream_black.h +++ b/test/unit/prop/cnf_stream_black.h @@ -84,20 +84,20 @@ public: void interrupt() { } - SatLiteralValue solve() { - return SatValUnknown; + SatValue solve() { + return SAT_VALUE_UNKNOWN; } - SatLiteralValue solve(long unsigned int& resource) { - return SatValUnknown; + SatValue solve(long unsigned int& resource) { + return SAT_VALUE_UNKNOWN; } - SatLiteralValue value(SatLiteral l) { - return SatValUnknown; + SatValue value(SatLiteral l) { + return SAT_VALUE_UNKNOWN; } - SatLiteralValue modelValue(SatLiteral l) { - return SatValUnknown; + SatValue modelValue(SatLiteral l) { + return SAT_VALUE_UNKNOWN; } bool properExplanation(SatLiteral lit, SatLiteral expl) const { |