diff options
Diffstat (limited to 'src/smt/boolean_terms.cpp')
-rw-r--r-- | src/smt/boolean_terms.cpp | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/src/smt/boolean_terms.cpp b/src/smt/boolean_terms.cpp index 69dc06e47..f7dfdb410 100644 --- a/src/smt/boolean_terms.cpp +++ b/src/smt/boolean_terms.cpp @@ -14,21 +14,22 @@ ** [[ Add lengthier description here ]] ** \todo document this file **/ - #include "smt/boolean_terms.h" + +#include <algorithm> +#include <map> +#include <set> +#include <stack> +#include <string> + +#include "expr/kind.h" +#include "expr/node_manager_attributes.h" +#include "options/boolean_term_conversion_mode.h" +#include "options/booleans_options.h" #include "smt/smt_engine.h" #include "theory/theory_engine.h" #include "theory/theory_model.h" -#include "theory/booleans/boolean_term_conversion_mode.h" -#include "theory/booleans/options.h" -#include "expr/kind.h" -#include "expr/node_manager_attributes.h" #include "util/ntuple.h" -#include <string> -#include <algorithm> -#include <set> -#include <map> -#include <stack> using namespace std; using namespace CVC4::theory; |