diff options
| author | Tim King <taking@cs.nyu.edu> | 2018-08-21 15:25:00 -0700 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-21 17:25:00 -0500 |
| commit | 5b655946e1c73f511719d0264f92715b063e867f (patch) | |
| tree | 50f517347a920b62891f8294b57d2e471cb5392b /src/smt/command.h | |
| parent | 0b04d88e3479d114d24173d71aa23992d620fe74 (diff) | |
Removing unused bool members in command.cpp. Also initializes a bool member. (#2321)
Diffstat (limited to 'src/smt/command.h')
| -rw-r--r-- | src/smt/command.h | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/smt/command.h b/src/smt/command.h index 08f83e7a9..be6d84305 100644 --- a/src/smt/command.h +++ b/src/smt/command.h @@ -552,7 +552,7 @@ class CVC4_PUBLIC CheckSatCommand : public Command { public: CheckSatCommand(); - CheckSatCommand(const Expr& expr, bool inUnsatCore = true); + CheckSatCommand(const Expr& expr); Expr getExpr() const; Result getResult() const; @@ -566,7 +566,6 @@ class CVC4_PUBLIC CheckSatCommand : public Command private: Expr d_expr; Result d_result; - bool d_inUnsatCore; }; /* class CheckSatCommand */ /** @@ -578,8 +577,7 @@ class CVC4_PUBLIC CheckSatAssumingCommand : public Command { public: CheckSatAssumingCommand(Expr term); - CheckSatAssumingCommand(const std::vector<Expr>& terms, - bool inUnsatCore = true); + CheckSatAssumingCommand(const std::vector<Expr>& terms); const std::vector<Expr>& getTerms() const; Result getResult() const; @@ -593,7 +591,6 @@ class CVC4_PUBLIC CheckSatAssumingCommand : public Command private: std::vector<Expr> d_terms; Result d_result; - bool d_inUnsatCore; }; /* class CheckSatAssumingCommand */ class CVC4_PUBLIC QueryCommand : public Command |