45 #ifndef PRETTYPRINTVERTEX_HPP 46 #define PRETTYPRINTVERTEX_HPP
static void get_internal_vars(const vertex &v, const OpGraphConstRef g, CustomUnorderedSet< unsigned int > &list_of_variables, const BehavioralHelperConstRef BH)
Header include.
Class specification of the graph structures.
REF_FORWARD_DECL(prettyPrintVertex)
static std::string statement2string(unsigned int stm, var_pp_functor &vppf, simple_indent &PP, const BehavioralHelperConstRef BH)
return a string for the passed statement.
static void print_forward_declaration(std::ostream &os, unsigned int type, simple_indent &PP, const BehavioralHelperConstRef BH)
This function prints the forward type declaration of a type.
redefinition of set to manage ordered/unordered structures
boost::graph_traits< graph >::vertex_descriptor vertex
vertex definition.
Base class functor used by prettyPrintVertex to print variables.
Class used to print a vertex of a graph.
Template definition of refcount.
Very simple pretty printer functor.
Pointer version functor that returns the name of a variable with a star in front. ...
Class used to describe a particular graph with operations as nodes.
CONSTREF_FORWARD_DECL(BehavioralHelper)