cvc4-1.4
|
#include <lemma_input_channel.h>
Public Member Functions | |
virtual | ~LemmaInputChannel () throw () |
virtual bool | hasNewLemma ()=0 |
virtual Expr | getNewLemma ()=0 |
Definition at line 27 of file lemma_input_channel.h.
|
inlinevirtual |
Definition at line 29 of file lemma_input_channel.h.
|
pure virtual |
|
pure virtual |