minor bug fixes for quantifiers, added sort inference module (not ready to be used yet), added new totality lemma option for uf strong solver

1 files changed, 3 insertions, 3 deletions

diff --git a/src/theory/rep_set.h b/src/theory/rep_set.h
index 8e7da4ce5..61b2ebf9f 100644
--- a/src/theory/rep_set.h
+++ b/src/theory/rep_set.h
@@ -54,14 +54,14 @@ typedef std::vector< int > RepDomain;
 class RepSetIterator {

 private:

   //initialize function

-  void initialize();

+  bool initialize();

 public:

   RepSetIterator( RepSet* rs );

   ~RepSetIterator(){}

   //set that this iterator will be iterating over instantiations for a quantifier

-  void setQuantifier( Node f );

+  bool setQuantifier( Node f );

   //set that this iterator will be iterating over the domain of a function

-  void setFunctionDomain( Node op );

+  bool setFunctionDomain( Node op );

 public:

   //pointer to model

   RepSet* d_rep_set;