diff options
Diffstat (limited to 'src/theory/inference_manager_buffered.h')
| -rw-r--r-- | src/theory/inference_manager_buffered.h | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/theory/inference_manager_buffered.h b/src/theory/inference_manager_buffered.h index 62c3c9b55..e5ad4cb0a 100644 --- a/src/theory/inference_manager_buffered.h +++ b/src/theory/inference_manager_buffered.h @@ -37,11 +37,9 @@ class InferenceManagerBuffered : public TheoryInferenceManager ProofNodeManager* pnm); virtual ~InferenceManagerBuffered() {} /** - * Have we processed an inference during this call to check? In particular, - * this returns true if we have a pending fact or lemma, or have encountered - * a conflict. + * Do we have a pending fact or lemma? */ - bool hasProcessed() const; + bool hasPending() const; /** * Do we have a pending fact to add as an internal fact to the equality * engine? |