diff options
Diffstat (limited to 'src/prop')
-rw-r--r-- | src/prop/bv_sat_solver_notify.h | 4 | ||||
-rw-r--r-- | src/prop/cadical.h | 6 | ||||
-rw-r--r-- | src/prop/cnf_stream.h | 6 | ||||
-rw-r--r-- | src/prop/cryptominisat.h | 6 | ||||
-rw-r--r-- | src/prop/prop_engine.h | 6 | ||||
-rw-r--r-- | src/prop/registrar.h | 6 | ||||
-rw-r--r-- | src/prop/sat_solver.h | 6 | ||||
-rw-r--r-- | src/prop/sat_solver_factory.h | 6 | ||||
-rw-r--r-- | src/prop/theory_proxy.h | 8 |
9 files changed, 27 insertions, 27 deletions
diff --git a/src/prop/bv_sat_solver_notify.h b/src/prop/bv_sat_solver_notify.h index d5a361eb8..77163cfe6 100644 --- a/src/prop/bv_sat_solver_notify.h +++ b/src/prop/bv_sat_solver_notify.h @@ -15,8 +15,8 @@ #include "cvc4_private.h" -#ifndef __CVC4__PROP__BVSATSOLVERNOTIFY_H -#define __CVC4__PROP__BVSATSOLVERNOTIFY_H +#ifndef CVC4__PROP__BVSATSOLVERNOTIFY_H +#define CVC4__PROP__BVSATSOLVERNOTIFY_H #include "prop/sat_solver_types.h" diff --git a/src/prop/cadical.h b/src/prop/cadical.h index 747c9ddb2..e43a2d278 100644 --- a/src/prop/cadical.h +++ b/src/prop/cadical.h @@ -16,8 +16,8 @@ #include "cvc4_private.h" -#ifndef __CVC4__PROP__CADICAL_H -#define __CVC4__PROP__CADICAL_H +#ifndef CVC4__PROP__CADICAL_H +#define CVC4__PROP__CADICAL_H #ifdef CVC4_USE_CADICAL @@ -87,4 +87,4 @@ class CadicalSolver : public SatSolver } // namespace CVC4 #endif // CVC4_USE_CADICAL -#endif // __CVC4__PROP__CADICAL_H +#endif // CVC4__PROP__CADICAL_H diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h index c35b3d2fa..8e60863fa 100644 --- a/src/prop/cnf_stream.h +++ b/src/prop/cnf_stream.h @@ -22,8 +22,8 @@ #include "cvc4_private.h" -#ifndef __CVC4__PROP__CNF_STREAM_H -#define __CVC4__PROP__CNF_STREAM_H +#ifndef CVC4__PROP__CNF_STREAM_H +#define CVC4__PROP__CNF_STREAM_H #include "context/cdinsert_hashmap.h" #include "context/cdlist.h" @@ -338,4 +338,4 @@ class TseitinCnfStream : public CnfStream { } /* CVC4::prop namespace */ } /* CVC4 namespace */ -#endif /* __CVC4__PROP__CNF_STREAM_H */ +#endif /* CVC4__PROP__CNF_STREAM_H */ diff --git a/src/prop/cryptominisat.h b/src/prop/cryptominisat.h index 4aa53909a..d3c5aeb30 100644 --- a/src/prop/cryptominisat.h +++ b/src/prop/cryptominisat.h @@ -16,8 +16,8 @@ #include "cvc4_private.h" -#ifndef __CVC4__PROP__CRYPTOMINISAT_H -#define __CVC4__PROP__CRYPTOMINISAT_H +#ifndef CVC4__PROP__CRYPTOMINISAT_H +#define CVC4__PROP__CRYPTOMINISAT_H #ifdef CVC4_USE_CRYPTOMINISAT @@ -95,4 +95,4 @@ public: } // namespace CVC4 #endif // CVC4_USE_CRYPTOMINISAT -#endif // __CVC4__PROP__CRYPTOMINISAT_H +#endif // CVC4__PROP__CRYPTOMINISAT_H diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h index 4815a3c35..aaa65b85a 100644 --- a/src/prop/prop_engine.h +++ b/src/prop/prop_engine.h @@ -18,8 +18,8 @@ #include "cvc4_private.h" -#ifndef __CVC4__PROP_ENGINE_H -#define __CVC4__PROP_ENGINE_H +#ifndef CVC4__PROP_ENGINE_H +#define CVC4__PROP_ENGINE_H #include <sys/time.h> @@ -248,4 +248,4 @@ public: }/* CVC4::prop namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PROP_ENGINE_H */ +#endif /* CVC4__PROP_ENGINE_H */ diff --git a/src/prop/registrar.h b/src/prop/registrar.h index 01d69e14c..0846b8829 100644 --- a/src/prop/registrar.h +++ b/src/prop/registrar.h @@ -20,8 +20,8 @@ #include "cvc4_private.h" -#ifndef __CVC4__PROP__REGISTRAR_H -#define __CVC4__PROP__REGISTRAR_H +#ifndef CVC4__PROP__REGISTRAR_H +#define CVC4__PROP__REGISTRAR_H namespace CVC4 { namespace prop { @@ -42,4 +42,4 @@ public: }/* CVC4::prop namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PROP__REGISTRAR_H */ +#endif /* CVC4__PROP__REGISTRAR_H */ diff --git a/src/prop/sat_solver.h b/src/prop/sat_solver.h index c3716aeea..45bfca4d6 100644 --- a/src/prop/sat_solver.h +++ b/src/prop/sat_solver.h @@ -16,8 +16,8 @@ #include "cvc4_private.h" -#ifndef __CVC4__PROP__SAT_SOLVER_H -#define __CVC4__PROP__SAT_SOLVER_H +#ifndef CVC4__PROP__SAT_SOLVER_H +#define CVC4__PROP__SAT_SOLVER_H #include <stdint.h> @@ -192,4 +192,4 @@ inline std::ostream& operator <<(std::ostream& out, prop::SatValue val) { }/* CVC4::prop namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PROP__SAT_MODULE_H */ +#endif /* CVC4__PROP__SAT_MODULE_H */ diff --git a/src/prop/sat_solver_factory.h b/src/prop/sat_solver_factory.h index 68c23de0b..5f8649768 100644 --- a/src/prop/sat_solver_factory.h +++ b/src/prop/sat_solver_factory.h @@ -16,8 +16,8 @@ #include "cvc4_private.h" -#ifndef __CVC4__PROP__SAT_SOLVER_FACTORY_H -#define __CVC4__PROP__SAT_SOLVER_FACTORY_H +#ifndef CVC4__PROP__SAT_SOLVER_FACTORY_H +#define CVC4__PROP__SAT_SOLVER_FACTORY_H #include <string> #include <vector> @@ -50,4 +50,4 @@ class SatSolverFactory } // namespace prop } // namespace CVC4 -#endif // __CVC4__PROP__SAT_SOLVER_FACTORY_H +#endif // CVC4__PROP__SAT_SOLVER_FACTORY_H diff --git a/src/prop/theory_proxy.h b/src/prop/theory_proxy.h index 9b1069fc7..3bb15aa4e 100644 --- a/src/prop/theory_proxy.h +++ b/src/prop/theory_proxy.h @@ -16,12 +16,12 @@ #include "cvc4_private.h" -#ifndef __CVC4__PROP__SAT_H -#define __CVC4__PROP__SAT_H +#ifndef CVC4__PROP__SAT_H +#define CVC4__PROP__SAT_H // Just defining this for now, since there's no other SAT solver bindings. // Optional blocks below will be unconditionally included -#define __CVC4_USE_MINISAT +#define CVC4_USE_MINISAT #include <iosfwd> #include <unordered_set> @@ -152,4 +152,4 @@ public: }/* CVC4 namespace */ -#endif /* __CVC4__PROP__SAT_H */ +#endif /* CVC4__PROP__SAT_H */ |