Lines Matching refs:NodeType
445 typedef clang::ento::ExplodedNode NodeType;
446 typedef NodeType::succ_iterator ChildIteratorType;
447 typedef llvm::df_iterator<NodeType*> nodes_iterator;
449 static inline NodeType* getEntryNode(NodeType* N) {
453 static inline ChildIteratorType child_begin(NodeType* N) {
457 static inline ChildIteratorType child_end(NodeType* N) {
461 static inline nodes_iterator nodes_begin(NodeType* N) {
465 static inline nodes_iterator nodes_end(NodeType* N) {
471 typedef const clang::ento::ExplodedNode NodeType;
472 typedef NodeType::const_succ_iterator ChildIteratorType;
473 typedef llvm::df_iterator<NodeType*> nodes_iterator;
475 static inline NodeType* getEntryNode(NodeType* N) {
479 static inline ChildIteratorType child_begin(NodeType* N) {
483 static inline ChildIteratorType child_end(NodeType* N) {
487 static inline nodes_iterator nodes_begin(NodeType* N) {
491 static inline nodes_iterator nodes_end(NodeType* N) {