#include <WorkList.h>

Public Member Functions
	WorkListUnit (ExplodedNode N, BlockCounter C, const CFGBlock B, unsigned idx)
	WorkListUnit (ExplodedNode *N, BlockCounter C)
ExplodedNode *	getNode () const
	Returns the node associated with the worklist unit.
BlockCounter	getBlockCounter () const
	Returns the block counter map associated with the worklist unit.
const CFGBlock *	getBlock () const
	Returns the CFGblock associated with the worklist unit.
unsigned	getIndex () const
	Return the index within the CFGBlock for the worklist unit.

Detailed Description

Definition at line 30 of file WorkList.h.

Constructor & Destructor Documentation

clang::ento::WorkListUnit::WorkListUnit	(	ExplodedNode *	N,
		BlockCounter	C,
		const CFGBlock *	B,
		unsigned	idx
	)		`[inline]`

Definition at line 37 of file WorkList.h.

clang::ento::WorkListUnit::WorkListUnit	(	ExplodedNode *	N,
		BlockCounter	C
	)		`[inline, explicit]`

Definition at line 44 of file WorkList.h.

const CFGBlock* clang::ento::WorkListUnit::getBlock ( ) const [inline]

Returns the CFGblock associated with the worklist unit.

Definition at line 57 of file WorkList.h.

BlockCounter clang::ento::WorkListUnit::getBlockCounter ( ) const [inline]

Returns the block counter map associated with the worklist unit.

Definition at line 54 of file WorkList.h.

unsigned clang::ento::WorkListUnit::getIndex ( ) const [inline]

Return the index within the CFGBlock for the worklist unit.

Definition at line 60 of file WorkList.h.

ExplodedNode * ExplodedGraph::getNode ( ) const [inline]

Returns the node associated with the worklist unit.

Definition at line 51 of file WorkList.h.

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