cvc4-1.4
Public Member Functions
CVC4::LemmaInputChannel Class Referenceabstract

#include <lemma_input_channel.h>

Public Member Functions

virtual ~LemmaInputChannel () throw ()
 
virtual bool hasNewLemma ()=0
 
virtual Expr getNewLemma ()=0
 

Detailed Description

Definition at line 27 of file lemma_input_channel.h.

Constructor & Destructor Documentation

virtual CVC4::LemmaInputChannel::~LemmaInputChannel ( )
throw (
)
inlinevirtual

Definition at line 29 of file lemma_input_channel.h.

Member Function Documentation

virtual Expr CVC4::LemmaInputChannel::getNewLemma ( )
pure virtual
virtual bool CVC4::LemmaInputChannel::hasNewLemma ( )
pure virtual
The documentation for this class was generated from the following file: