cvc4-1.4
Main Page
Related Pages
Namespaces
Data Structures
Files
File List
Globals
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
25
namespace
CVC4
{
26
27
typedef
enum
{
28
NO_PROP
,
29
UNATE_PROP
,
30
BOUND_INFERENCE_PROP
,
31
BOTH_PROP
32
}
ArithPropagationMode
;
33
34
std::ostream&
operator<<
(std::ostream&
out
, ArithPropagationMode rule)
CVC4_PUBLIC
;
35
36
}
/* CVC4 namespace */
37
38
#endif
/* __CVC4__THEORY__ARITH__ARITH_PROPAGATION_MODE_H */
CVC4
Definition:
options.h:60
CVC4::operator<<
std::ostream & operator<<(std::ostream &out, ArithPropagationMode rule)
CVC4::BOUND_INFERENCE_PROP
Definition:
arith_propagation_mode.h:30
CVC4_PUBLIC
#define CVC4_PUBLIC
Definition:
cvc4_public.h:30
CVC4::ArithPropagationMode
ArithPropagationMode
Definition:
arith_propagation_mode.h:27
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary...
CVC4::NO_PROP
Definition:
arith_propagation_mode.h:28
CVC4::UNATE_PROP
Definition:
arith_propagation_mode.h:29
CVC4::BOTH_PROP
Definition:
arith_propagation_mode.h:31
CVC4::options::out
struct CVC4::options::out__option_t out
src
theory
arith
arith_propagation_mode.h
Generated by
1.8.11