68 list_of_variables.insert(intermediate_var);
94 list_of_variables.insert(var);
virtual unsigned int get_intermediate_var(unsigned int obj) const
Return the intermediate variable of an operation.
virtual bool is_an_array_ref(unsigned int variable) const
Return true if the index is an array ref.
virtual unsigned int get_component_ref_record(unsigned int obj) const
Return the record variable of a component ref.
Simple pretty print functor.
static void get_internal_vars(const vertex &v, const OpGraphConstRef g, CustomUnorderedSet< unsigned int > &list_of_variables, const BehavioralHelperConstRef BH)
Header include.
virtual unsigned int get_operand_from_unary_expr(unsigned int obj) const
Return the index of the operand if index is addr_expr, a realpart_expr or a imagpart_expr.
const OpNodeInfoConstRef CGetOpNodeInfo(const vertex node) const
Returns the info associated with a node.
virtual std::string print_forward_declaration(unsigned int type) const
Print the declaration of a non built-in type.
virtual unsigned int get_array_ref_array(unsigned int obj) const
Return the array variable of an array ref.
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.
boost::graph_traits< graph >::vertex_descriptor vertex
vertex definition.
virtual bool is_a_constant(unsigned int obj) const
Return true if the index is a constant object.
virtual bool is_an_addr_expr(unsigned int variable) const
Return true if the index is an addr_expr.
Very simple pretty printer functor.
Helper class supporting the printing of vertexes of a graph.
Data structures used in operations graph.
virtual unsigned int get_indirect_ref_var(unsigned int obj) const
Return the variable of an indirect ref.
virtual bool is_a_component_ref(unsigned int variable) const
Return true if the index is a component ref.
virtual bool is_an_indirect_ref(unsigned int variable) const
Return true if the index is an indirect ref.