cvc4-1.4
Main Page
Related Pages
Namespaces
Data Structures
Files
File List
Globals
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::SUM_METRIC
Definition:
arith_heuristic_pivot_rule.h:31
CVC4
Definition:
options.h:94
CVC4::ErrorSelectionRule
ErrorSelectionRule
Definition:
arith_heuristic_pivot_rule.h:27
CVC4_PUBLIC
#define CVC4_PUBLIC
Definition:
cvc4_public.h:30
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary...
CVC4::MINIMUM_AMOUNT
Definition:
arith_heuristic_pivot_rule.h:29
CVC4::MAXIMUM_AMOUNT
Definition:
arith_heuristic_pivot_rule.h:30
CVC4::options::out
struct CVC4::options::out__option_t out
CVC4::operator<<
std::ostream & operator<<(std::ostream &out, SimplificationMode mode)
CVC4::VAR_ORDER
Definition:
arith_heuristic_pivot_rule.h:28
src
theory
arith
arith_heuristic_pivot_rule.h
Generated by
1.8.11