diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-07-31 17:51:15 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-31 17:51:15 -0700 |
| commit | 049bc7acdb7ecc50719175652028a51a8f996502 (patch) | |
| tree | 3e46ea56f590a8dc0fb84f5fe984419cfbd6417d /src/theory/bv/bv_eager_solver.h | |
| parent | 0b2eb659087dd3643e57fe39ee84f6cb42721e94 (diff) | |
Remove hasAssertions() method from eager BV solver. (#2239)
Diffstat (limited to 'src/theory/bv/bv_eager_solver.h')
| -rw-r--r-- | src/theory/bv/bv_eager_solver.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/bv/bv_eager_solver.h b/src/theory/bv/bv_eager_solver.h index 6a89a0f7c..b17cd6ebc 100644 --- a/src/theory/bv/bv_eager_solver.h +++ b/src/theory/bv/bv_eager_solver.h @@ -42,8 +42,6 @@ class EagerBitblastSolver { ~EagerBitblastSolver(); bool checkSat(); void assertFormula(TNode formula); - // purely for debugging purposes - bool hasAssertions(const std::vector<TNode>& formulas); void turnOffAig(); bool isInitialized(); |