cvc4-1.4
lemma_input_channel.h
Go to the documentation of this file.
1
/********************* */
18
#include "
cvc4_public.h
"
19
20
#ifndef __CVC4__LEMMA_INPUT_CHANNEL_H
21
#define __CVC4__LEMMA_INPUT_CHANNEL_H
22
23
#include "
expr/expr.h
"
24
25
namespace
CVC4
{
26
27
class
CVC4_PUBLIC
LemmaInputChannel
{
28
public
:
29
virtual
~LemmaInputChannel
() throw() { }
30
31
virtual
bool
hasNewLemma
() = 0;
32
virtual
Expr
getNewLemma
() = 0;
33
34
};
/* class LemmaOutputChannel */
35
36
}
/* CVC4 namespace */
37
38
#endif
/* __CVC4__LEMMA_INPUT_CHANNEL_H */
CVC4::Expr
Class encapsulating CVC4 expressions and methods for constructing new expressions.
Definition
expr.h:227
CVC4::LemmaInputChannel
Definition
lemma_input_channel.h:27
CVC4::LemmaInputChannel::getNewLemma
virtual Expr getNewLemma()=0
CVC4::LemmaInputChannel::hasNewLemma
virtual bool hasNewLemma()=0
CVC4::LemmaInputChannel::~LemmaInputChannel
virtual ~LemmaInputChannel()
Definition
lemma_input_channel.h:29
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary,...
CVC4_PUBLIC
#define CVC4_PUBLIC
Definition
cvc4_public.h:30
expr.h
CVC4
Definition
expr.h:106
src
util
lemma_input_channel.h
Generated by
1.11.0