Sequence Chart Studio  svn HEAD revision
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Private Member Functions | List of all members
NonemptyNodeFinder Class Reference

#include <divine.h>

Inheritance diagram for NonemptyNodeFinder:
Inheritance graph
Collaboration diagram for NonemptyNodeFinder:
Collaboration graph

Private Member Functions

virtual bool is_terminal (HMscNode *node)
 A predicate telling whether searching for successors should continue from the given node. It continues only if terminal(node) == false. More...
 

Additional Inherited Members

- Public Member Functions inherited from NodeFinder
 NodeFinder (const std::string &color_attribute="rnf_color")
 
HMscNodePListPtr find_successors (HMscNode *node)
 Finds nearest (possibly indirect) successors of a node which satisfy the is_terminal() condition. More...
 
HMscNodePListPtr find_predecessors (HMscNode *node)
 Dual function to find_successors(). More...
 
HMscNodePListPtr get_result (void)
 Returns the result of find_successors() or find_predecessors(). More...
 
HMscNodePListPtr get_skipped (void)
 Returns nodes skipped by find_successors() or find_predecessors(). Connection nodes are not stored. More...
 
void find_node (HMscNode *start, HMscNode *desired)
 Finds path from start to desired node. It always proceeds forward. More...
 
- Public Member Functions inherited from DFSBMscGraphTraverser
 DFSBMscGraphTraverser (const std::string &color_attribute="msc_graph_traverse_color")
 
virtual ~DFSBMscGraphTraverser ()
 
virtual void traverse (HMscPtr hmsc)
 
virtual void traverse (HMscNode *node)
 
virtual void cleanup_traversing_attributes ()
 
const MscElementPListListget_reached_elements ()
 
- Public Member Functions inherited from DFSListenersContainer
void add_node_finished_listener (NodeFinishedListenerP l)
 
void remove_node_finished_listeners ()
 
void add_white_node_found_listener (WhiteNodeFoundListenerP l)
 
void remove_white_node_found_listeners ()
 
void add_gray_node_found_listener (GrayNodeFoundListenerP l)
 
void remove_gray_node_found_listeners ()
 
void add_black_node_found_listener (BlackNodeFoundListenerP l)
 
void remove_black_node_found_listeners ()
 
void remove_all_listeners ()
 
virtual ~DFSListenersContainer ()
 
- Static Public Member Functions inherited from NodeFinder
static HMscNodePListPtr successors (HMscNode *node, const std::string &color_attribute="rnf_color")
 Creates ReferenceNodeFinder and returns result of find_successors(). For derrived classes use the template version. More...
 
static HMscNodePListPtr predecessors (HMscNode *node, const std::string &color_attribute="rnf_color")
 Creates ReferenceNodeFinder and returns result of find_predecessors(). For derrived classes use the template version. More...
 
template<class T >
static HMscNodePListPtr successors (HMscNode *node, const std::string &color_attribute="rnf_color")
 Creates a finder of the type T and returns its result of find_successors(). More...
 
template<class T >
static HMscNodePListPtr predecessors (HMscNode *node, const std::string &color_attribute="rnf_color")
 Creates a finder of the type T and returns its result of find_predecessors(). More...
 
- Protected Member Functions inherited from NodeFinder
bool traverse_node (HMscNode *node)
 Traverses from node to nearest StartNode,EndNodes or ReferenceNodes. More...
 
void traverse_predecessors (SuccessorNode *succ)
 Traverses predecessors of a given node. More...
 
- Protected Member Functions inherited from DFSBMscGraphTraverser
virtual void cleanup_top_attributes ()
 
virtual bool traverse_successors (PredecessorNode *predecessor)
 
virtual bool is_processed (HMscNode *node)
 
virtual bool traverse_reference_node (ReferenceNode *node)
 
void set_color (HMscNode *n, NodeColor c)
 
NodeColorget_color (HMscNode *n)
 
virtual void push_top_attributes ()
 
virtual void white_node_found (HMscNode *n)
 
virtual void gray_node_found (HMscNode *n)
 
virtual void black_node_found (HMscNode *n)
 
virtual void node_finished (HMscNode *n)
 
- Protected Attributes inherited from NodeFinder
bool m_running_forward
 True when find_successors() is in progress, false if find_predecessors() works. More...
 
HMscNodePListPtr m_result
 Stores the result of find_successors() or find_predecessors() More...
 
HMscNodePListPtr m_skipped_nodes
 Stores nodes skipped by find_successors() or find_predecessors() More...
 
- Protected Attributes inherited from DFSBMscGraphTraverser
HMscNodePListList m_colored_nodes
 
MscElementPListList m_reached_elements
 
std::string m_color_attribute
 
- Protected Attributes inherited from DFSListenersContainer
NodeFinishedListenerPList m_node_finished_listeners
 
WhiteNodeFoundListenerPList m_white_node_found_listeners
 
GrayNodeFoundListenerPList m_gray_node_found_listeners
 
BlackNodeFoundListenerPList m_black_node_found_listeners
 
GrayNodeFoundListenerPList m_grey_node_found_listeners
 

Detailed Description

Definition at line 37 of file divine.h.

Member Function Documentation

virtual bool NonemptyNodeFinder::is_terminal ( HMscNode node)
inlineprivatevirtual

A predicate telling whether searching for successors should continue from the given node. It continues only if terminal(node) == false.

Reimplemented from NodeFinder.

Definition at line 40 of file divine.h.

References ReferenceNode::get_bmsc().


The documentation for this class was generated from the following file:

SourceForge.net Logo
Generated on Fri Jan 15 2016 16:26:59 for Sequence Chart Studio by  doxygen