21 #ifndef __CVC4__LEMMA_OUTPUT_CHANNEL_H 22 #define __CVC4__LEMMA_OUTPUT_CHANNEL_H 41 virtual void notifyNewLemma(
Expr lemma) = 0;
Class encapsulating CVC4 expressions and methods for constructing new expressions.
This interface describes a mechanism for the propositional and theory engines to communicate with the...
virtual ~LemmaOutputChannel()
Macros that should be defined everywhere during the building of the libraries and driver binary...