21#ifndef __CVC4__LEMMA_OUTPUT_CHANNEL_H
22#define __CVC4__LEMMA_OUTPUT_CHANNEL_H
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 void notifyNewLemma(Expr lemma)=0
Notifies this output channel that there's a new lemma.
virtual ~LemmaOutputChannel()
Macros that should be defined everywhere during the building of the libraries and driver binary,...