diff options
Diffstat (limited to 'src/prop/cnf_stream.h')
| -rw-r--r-- | src/prop/cnf_stream.h | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h index ecb0fd2fb..3ef636811 100644 --- a/src/prop/cnf_stream.h +++ b/src/prop/cnf_stream.h @@ -215,12 +215,16 @@ public: TNode getNode(const SatLiteral& literal); /** - * Returns true if the node has an assigned literal (it might not be translated). - * Caches the pair of the node and the literal corresponding to the - * translation. + * Returns true iff the node has an assigned literal (it might not be translated). * @param node the node */ - bool hasLiteral(TNode node) const; + bool hasEverHadLiteral(TNode node) const; + + /** + * Returns true iff the node has an assigned literal and it's translated. + * @param node the node + */ + bool currentlyHasLiteral(TNode node) const; /** * Returns the literal that represents the given node in the SAT CNF |