CVC3
2.4.1
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
CVC3::Literal
Definition:
variable.h:120
std
STL namespace.
CVC3::Theorem
Definition:
theorem.h:76
CVC3::Circuit::d_thm
Theorem d_thm
Definition:
circuit.h:34
CVC3::Circuit
Definition:
circuit.h:31
CVC3::SearchEngineFast
Implementation of a faster search engine, using newer techniques.
Definition:
search_fast.h:86
theorem.h
variable.h
CVC3
Definition:
expr.cpp:35
Generated on Thu Feb 12 2015 18:24:38 for CVC3 by
1.8.9.1