]>
Commit | Line | Data |
---|---|---|
28bf4b0b | 1 | /* |
c0de361f | 2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003. |
28bf4b0b | 3 | ** See ../LICENSE for license information. |
4 | ** | |
5 | */ | |
6 | /* | |
7 | ** mtMergeNode.h | |
8 | */ | |
9 | ||
10 | # ifndef MTMERGENODE_H | |
11 | # define MTMERGENODE_H | |
12 | ||
13 | struct s_mtMergeNode { | |
14 | mtMergeClauseList mlist; | |
15 | } ; | |
16 | ||
17 | extern mtMergeNode mtMergeNode_create (/*@only@*/ mtMergeClauseList) /*@*/ ; | |
18 | extern void mtMergeNode_free (/*@only@*/ mtMergeNode) ; | |
19 | ||
20 | extern cstring mtMergeNode_unparse (mtMergeNode p_node) /*@*/ ; | |
21 | ||
22 | extern /*@observer@*/ mtMergeClauseList mtMergeNode_getClauses (mtMergeNode p_node) /*@*/ ; | |
23 | # define mtMergeNode_getClauses(p_node) ((p_node)->mlist) | |
24 | ||
25 | # else | |
26 | # error "Multiple include" | |
27 | # endif |