diff options
Diffstat (limited to 'src/theory/booleans/circuit_propagator.h')
-rw-r--r-- | src/theory/booleans/circuit_propagator.h | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/theory/booleans/circuit_propagator.h b/src/theory/booleans/circuit_propagator.h index a2e4febad..ba8c5782d 100644 --- a/src/theory/booleans/circuit_propagator.h +++ b/src/theory/booleans/circuit_propagator.h @@ -19,7 +19,6 @@ #ifndef CVC4__THEORY__BOOLEANS__CIRCUIT_PROPAGATOR_H #define CVC4__THEORY__BOOLEANS__CIRCUIT_PROPAGATOR_H -#include <functional> #include <memory> #include <unordered_map> #include <vector> @@ -30,15 +29,17 @@ #include "context/context.h" #include "expr/lazy_proof_chain.h" #include "expr/node.h" -#include "expr/proof_generator.h" -#include "expr/proof_node.h" -#include "theory/eager_proof_generator.h" -#include "theory/theory.h" #include "theory/trust_node.h" -#include "util/hash.h" namespace CVC4 { + +class ProofGenerator; +class ProofNode; + namespace theory { + +class EagerProofGenerator; + namespace booleans { /** |