#include <occurences.hh>
Public Member Functions | |
void | mark (Tree root) |
start markup of root tree with new unique key | |
Occurences * | retrieve (Tree t) |
occurences of subtree t within root tree | |
Private Member Functions | |
void | incOcc (Tree env, int v, int r, int d, Tree t) |
inc the occurence of t in context v,r | |
Occurences * | getOcc (Tree t) |
get Occurences property of t or null | |
void | setOcc (Tree t, Occurences *occ) |
set Occurences property of t | |
Private Attributes | |
Tree | fRootTree |
occurences computed within this tree | |
Tree | fPropKey |
key used to store occurences property |
First create an OccMarkup om, second om.mark(root) then om.retrieve(subtree)
Definition at line 30 of file occurences.hh.