cvc4-1.4
arith_propagation_mode.h
Go to the documentation of this file.
1/********************* */
18#include "cvc4_public.h"
19
20#ifndef __CVC4__THEORY__ARITH__ARITH_PROPAGATION_MODE_H
21#define __CVC4__THEORY__ARITH__ARITH_PROPAGATION_MODE_H
22
23#include <iostream>
24
25namespace CVC4 {
26
33
34std::ostream& operator<<(std::ostream& out, ArithPropagationMode rule) CVC4_PUBLIC;
35
36}/* CVC4 namespace */
37
38#endif /* __CVC4__THEORY__ARITH__ARITH_PROPAGATION_MODE_H */
Macros that should be defined everywhere during the building of the libraries and driver binary,...
#define CVC4_PUBLIC
Definition cvc4_public.h:30
Definition expr.h:106
std::ostream & operator<<(std::ostream &out, const TypeCheckingException &e)