CVC3
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
src
include
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
:
34
Theorem
d_thm
;
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
Generated on Thu May 16 2013 13:25:13 for CVC3 by
1.8.2