diff options
Diffstat (limited to 'src/theory/theory.h')
| -rw-r--r-- | src/theory/theory.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/theory/theory.h b/src/theory/theory.h index a9783c19c..0eb3d9a33 100644 --- a/src/theory/theory.h +++ b/src/theory/theory.h @@ -238,6 +238,13 @@ class Theory { ProofNodeManager* d_pnm; /** + * Are proofs enabled? + * + * They are considered enabled if the ProofNodeManager is non-null. + */ + bool proofsEnabled() const; + + /** * Returns the next assertion in the assertFact() queue. * * @return the next assertion in the assertFact() queue |