1 /*
2
3 This file is part of the Maude 2 interpreter.
4
5 Copyright 1997-2003 SRI International, Menlo Park, CA 94025, USA.
6
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307, USA.
20
21 */
22
23 //
24 // Class for memoization tables.
25 //
26 // In the current implmentation this is just a shell - the actually dag nodes are store
27 // in the module.
28 //
29 #ifndef _memoTable_hh_
30 #define _memoTable_hh_
31
32 class MemoTable : public ModuleItem
33 {
34 public:
35 typedef Vector<int> SourceSet;
36
37 MemoTable(bool memoFlag);
38
39 bool isMemoized() const;
40 bool memoRewrite(SourceSet& sourceSet, DagNode* subject, RewritingContext& context);
41 void memoEnter(SourceSet& sourceSet, DagNode* destination);
42
43 private:
44 const bool memo;
45 };
46
47 inline
MemoTable(bool memoFlag)48 MemoTable::MemoTable(bool memoFlag)
49 : memo(memoFlag)
50 {
51 }
52
53 inline bool
isMemoized() const54 MemoTable::isMemoized() const
55 {
56 return memo;
57 }
58
59 #endif
60