CVC3
2.4.1
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
src
include
notifylist.h
Go to the documentation of this file.
1
/*****************************************************************************/
2
/*!
3
* \file notifylist.h
4
*
5
* Author: Clark Barrett
6
*
7
* Created: Mon Jan 20 13:52:19 2003
8
*
9
* <hr>
10
*
11
* License to use, copy, modify, sell and/or distribute this software
12
* and its documentation for any purpose is hereby granted without
13
* royalty, subject to the terms and conditions defined in the \ref
14
* LICENSE file provided with this distribution.
15
*
16
* <hr>
17
*
18
*/
19
/*****************************************************************************/
20
21
#ifndef _cvc3__include__notifylist_h_
22
#define _cvc3__include__notifylist_h_
23
24
#include "
expr.h
"
25
#include "
cdlist.h
"
26
27
namespace
CVC3 {
28
29
class
Theory;
30
31
class
NotifyList
{
32
CDList<Theory*>
d_tlist
;
33
CDList<Expr>
d_elist
;
34
35
public
:
36
NotifyList
(
Context
* c) :
d_tlist
(c),
d_elist
(c) {
37
IF_DEBUG
(
d_elist
.setName(
"CDList[NotifyList]"
);)
38
}
39
unsigned
size
()
const
{
return
d_tlist
.size(); }
40
void
add
(
Theory
* t,
const
Expr
& e) {
d_tlist
.push_back(t);
d_elist
.
push_back
(e); }
41
Theory
*
getTheory
(
int
i)
const
{
return
d_tlist
[i]; }
42
Expr
getExpr
(
int
i)
const
{
return
d_elist
[i]; }
43
};
44
45
}
46
47
#endif
Generated on Sat Aug 3 2013 07:58:29 for CVC3 by
1.8.4