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
{
28
VAR_ORDER
,
29
MINIMUM_AMOUNT
,
30
MAXIMUM_AMOUNT
,
31
SUM_METRIC
32
}
ErrorSelectionRule
;
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 */
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
CVC4
Definition
expr.h:106
CVC4::ErrorSelectionRule
ErrorSelectionRule
Definition
arith_heuristic_pivot_rule.h:27
CVC4::MAXIMUM_AMOUNT
@ MAXIMUM_AMOUNT
Definition
arith_heuristic_pivot_rule.h:30
CVC4::SUM_METRIC
@ SUM_METRIC
Definition
arith_heuristic_pivot_rule.h:31
CVC4::VAR_ORDER
@ VAR_ORDER
Definition
arith_heuristic_pivot_rule.h:28
CVC4::MINIMUM_AMOUNT
@ MINIMUM_AMOUNT
Definition
arith_heuristic_pivot_rule.h:29
CVC4::operator<<
std::ostream & operator<<(std::ostream &out, const TypeCheckingException &e)
src
theory
arith
arith_heuristic_pivot_rule.h
Generated by
1.11.0