Remove unused postsolve infrastructurermPostsolve

The theory property `postsolve` was not used by any of the theories.
This commit removes the property and associated infrastructure.

1 files changed, 0 insertions, 12 deletions

diff --git a/src/theory/theory.h b/src/theory/theory.h
index 77652f874..91af5d8fa 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -760,18 +760,6 @@ class Theory {
   virtual void presolve() { }
 
   /**
-   * A Theory is called with postsolve exactly one time per user
-   * check-sat.  postsolve() is called after the query has completed
-   * (regardless of whether sat, unsat, or unknown), and after any
-   * model-querying related to the query has been performed.
-   * After this call, the theory will not get another check() or
-   * propagate() call until presolve() is called again.  A Theory
-   * cannot raise conflicts, add lemmas, or propagate literals during
-   * postsolve().
-   */
-  virtual void postsolve() { }
-
-  /**
    * Notification sent to the theory wheneven the search restarts.
    * Serves as a good time to do some clean-up work, and you can
    * assume you're at DL 0 for the purposes of Contexts.  This function