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