Partial merge of integers work; this is simple B&B and some pseudoboolean

infrastructure, and takes care not to affect CVC4's performance on LRA
benchmarks.

1 files changed, 4 insertions, 2 deletions

diff --git a/src/theory/theory.h b/src/theory/theory.h
index d859c60d8..62a8cb4d6 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -442,8 +442,10 @@ public:
   }
 
   /**
-   * Given an atom of the theory, that comes from the input formula, this is method can rewrite the atom
-   * into an equivalent form. This is only called just before an input atom to the engine.
+   * Given an atom of the theory coming from the input formula, this
+   * method can be overridden in a theory implementation to rewrite
+   * the atom into an equivalent form.  This is only called just
+   * before an input atom to the engine.
    */
   virtual Node preprocess(TNode atom) { return atom; }