Replace propagateAsDecision() with Theory::getNextDecisionRequest():

* arrays now uses the new approach by using a CDQueue<>
* uf strong solver has had the feature disabled, pending a merge from Andy
* theory kinds files now have a getNextDecisionRequest property (if you want to take part in such decision requests you have to list that property)
* the staticLearning property has been renamed ppStaticLearn to match the function name
* theory kinds files are now checked again for correctly-declared properties (this had been disabled)
* minor documentation and other fixups

1 files changed, 1 insertions, 1 deletions

diff --git a/src/context/cdqueue.h b/src/context/cdqueue.h
index abdcc0493..e1c59615d 100644
--- a/src/context/cdqueue.h
+++ b/src/context/cdqueue.h
@@ -144,7 +144,7 @@ public:
   }
 
   /**
-   * Returns the most recent item added to the list.
+   * Returns the most recent item added to the queue.
    */
   const T& back() const {
     Assert(!empty(), "CDQueue::back() called on empty list");