diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-06-25 12:18:05 -0500 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-06-25 12:18:14 -0500 |
| commit | d8de492163b90974709a16918cb615515a536afc (patch) | |
| tree | 8241c94be9a610149b40af0fc0932ee05094b2aa /src/theory/rep_set.h | |
| parent | a9bf7fc500daba46ed86ca744c1346059880e6f4 (diff) | |
Refactoring of model engine to separate individual implementations of model builder. Begin work on interval models for integers. Other minor cleanup.
Diffstat (limited to 'src/theory/rep_set.h')
| -rw-r--r-- | src/theory/rep_set.h | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/theory/rep_set.h b/src/theory/rep_set.h index e703ee467..672f33b54 100644 --- a/src/theory/rep_set.h +++ b/src/theory/rep_set.h @@ -107,12 +107,10 @@ public: public: /** set index order */ void setIndexOrder( std::vector< int >& indexOrder ); - /** set domain */ - //void setDomain( std::vector< RepDomain >& domain ); /** increment the iterator at index=counter */ - void increment2( int counter ); + int increment2( int counter ); /** increment the iterator */ - void increment(); + int increment(); /** is the iterator finished? */ bool isFinished(); /** get the i_th term we are considering */ |