CVC3
circuit.h
Go to the documentation of this file.
1 /*****************************************************************************/
2 /*!
3  * \file circuit.h
4  * \brief Circuit class
5  *
6  * <hr>
7  *
8  * License to use, copy, modify, sell and/or distribute this software
9  * and its documentation for any purpose is hereby granted without
10  * royalty, subject to the terms and conditions defined in the \ref
11  * LICENSE file provided with this distribution.
12  *
13  * <hr>
14  *
15  */
16 /*****************************************************************************/
17 
18 #ifndef _cvc3__include__circuit_h_
19 #define _cvc3__include__circuit_h_
20 
21 #include "variable.h"
22 #include "theorem.h"
23 
24 using namespace std;
25 
26 namespace CVC3
27 {
28 
29 class SearchEngineFast;
30 
31 class Circuit
32 {
33  private:
35  Literal d_lits[4];
36 
37  public:
38  Circuit(SearchEngineFast* se, const Theorem& thm);
39  bool propagate(SearchEngineFast* se);
40 };
41 
42 } // namespace CVC3
43 
44 #endif