#include <value-relation.h>

Collaboration diagram for frontier_data:

[legend]

Public Member Functions
	frontier_data (bitmap_obstack *obstack, bool rhs)
	~frontier_data ()
void	clear_search ()
bool	visited_p (unsigned v) const
relation_kind	known_relation (unsigned v) const
void	set_known (unsigned v, relation_kind rel)

Data Fields
bitmap	m_visited
vec< relation_kind >	m_known
tree	m_root
bool	m_rhs

Constructor & Destructor Documentation

◆ frontier_data()

frontier_data::frontier_data	(	bitmap_obstack *	obstack,
		bool	rhs )

References BITMAP_ALLOC, m_known, m_rhs, m_root, m_visited, and NULL_TREE.

◆ ~frontier_data()

frontier_data::~frontier_data ( )

inline

References m_known.

Member Function Documentation

◆ clear_search()

void frontier_data::clear_search ( )

References bitmap_clear(), EXECUTE_IF_SET_IN_BITMAP, i, m_known, m_root, m_visited, NULL_TREE, and VREL_VARYING.

Referenced by dom_oracle::relation_search().

◆ known_relation()

relation_kind frontier_data::known_relation ( unsigned v ) const

References m_known, and VREL_VARYING.

Referenced by dom_oracle::add_to_frontier(), and dom_oracle::expand_frontier().

◆ set_known()

void frontier_data::set_known	(	unsigned	v,
		relation_kind	rel )

References m_known, and num_ssa_names.

Referenced by dom_oracle::add_to_frontier(), and dom_oracle::start_search().

◆ visited_p()

bool frontier_data::visited_p ( unsigned v ) const

inline

References bitmap_bit_p, and m_visited.

Referenced by dom_oracle::add_to_frontier().

Field Documentation

◆ m_known

vec<relation_kind> frontier_data::m_known

Referenced by clear_search(), frontier_data(), known_relation(), set_known(), and ~frontier_data().

◆ m_rhs

bool frontier_data::m_rhs

Referenced by dom_oracle::add_to_frontier(), frontier_data(), and dom_oracle::start_search().

◆ m_root

tree frontier_data::m_root

Referenced by clear_search(), dom_oracle::expand_frontier(), frontier_data(), and dom_oracle::start_search().

◆ m_visited

bitmap frontier_data::m_visited

Referenced by dom_oracle::add_to_frontier(), clear_search(), frontier_data(), dom_oracle::start_search(), and visited_p().

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

Public Member Functions

Data Fields