diff options
Diffstat (limited to 'src/prop/cnf_stream.h')
-rw-r--r-- | src/prop/cnf_stream.h | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h index 131ac98dc..247a5b096 100644 --- a/src/prop/cnf_stream.h +++ b/src/prop/cnf_stream.h @@ -81,10 +81,6 @@ protected: */ minisat::Lit lookupInCache(const Node & n) const; - /** - * Empties the internal translation cache. - */ - void flushCache(); //negotiates the mapping of atoms to literals with PropEngine void registerMapping(const Node & node, minisat::Lit lit, bool atom = false); @@ -99,6 +95,12 @@ public: */ CnfStream(CVC4::PropEngine *pe); + + /** + * Empties the internal translation cache. + */ + void flushCache(); + /** * Converts and asserts a formula. * @param n node to convert and assert |