1 #ifndef DATA_FLOW_ANALYSIS
2 #define DATA_FLOW_ANALYSIS
19 template<
class Node,
class Data>
22 virtual Data
meet_data(
const Data& d1,
const Data& d2) = 0;
26 typedef typename CFGImplTemplate<Node, CFGEdgeImpl>::NodeIterator
NodeIterator;
27 typedef typename CFGImplTemplate<Node, CFGEdgeImpl>::EdgeIterator
EdgeIterator;
30 void operator()( AstInterface& fa,
const AstNodePtr& head);
31 CFGImplTemplate<Node, CFGEdgeImpl>::GetNodeIterator;