SVF::CFLFIFOWorkList< Data > Class Template Reference

#include <CFGrammar.h>

Public Member Functions
	CFLFIFOWorkList ()
	~CFLFIFOWorkList ()
bool	empty () const
bool	find (Data data) const
bool	push (Data data)
Data	pop ()
void	clear ()

Private Types
typedef GrammarBase::SymbolSet< Data >	DataSet
typedef std::deque< Data >	DataDeque

Private Attributes
DataSet	data_set
	store all data in the work list.
DataDeque	data_list
	work list using std::vector.

Detailed Description

template<class Data>
class SVF::CFLFIFOWorkList< Data >

Worklist with "first in first out" order. New nodes will be pushed at back and popped from front. Elements in the list are unique as they're recorded by Set.

Definition at line 411 of file CFGrammar.h.

Member Typedef Documentation

DataDeque

template<class Data >

typedef std::deque<Data> SVF::CFLFIFOWorkList< Data >::DataDeque

private

Definition at line 414 of file CFGrammar.h.

DataSet

template<class Data >

typedef GrammarBase::SymbolSet<Data> SVF::CFLFIFOWorkList< Data >::DataSet

private

Definition at line 413 of file CFGrammar.h.

Constructor & Destructor Documentation

CFLFIFOWorkList()

template<class Data >

SVF::CFLFIFOWorkList< Data >::CFLFIFOWorkList ( )

inline

Definition at line 416 of file CFGrammar.h.

{}

~CFLFIFOWorkList()

template<class Data >

SVF::CFLFIFOWorkList< Data >::~CFLFIFOWorkList ( )

inline

Definition at line 418 of file CFGrammar.h.

{}

Member Function Documentation

clear()

template<class Data >

void SVF::CFLFIFOWorkList< Data >::clear ( )

inline

Clear all the data

Definition at line 460 of file CFGrammar.h.

    {
        data_list.clear();
        data_set.clear();
    }

empty()

template<class Data >

bool SVF::CFLFIFOWorkList< Data >::empty ( ) const

inline

Definition at line 420 of file CFGrammar.h.

    {
        return data_list.empty();
    }

find()

template<class Data >

bool SVF::CFLFIFOWorkList< Data >::find ( Data  data ) const

inline

Definition at line 425 of file CFGrammar.h.

    {
        return (data_set.find(data) == data_set.end() ? false : true);
    }

pop()

template<class Data >

Data SVF::CFLFIFOWorkList< Data >::pop ( )

inline

Pop a data from the END of work list.

Definition at line 448 of file CFGrammar.h.

    {
        assert(!empty() && "work list is empty");
        Data data = data_list.front();
        data_list.pop_front();
        data_set.erase(data);
        return data;
    }

push()

template<class Data >

bool SVF::CFLFIFOWorkList< Data >::push ( Data  data )

inline

Push a data into the work list.

Definition at line 433 of file CFGrammar.h.

    {
        if (data_set.find(data) == data_set.end())
        {
            data_list.push_back(data);
            data_set.insert(data);
            return true;
        }
        else
            return false;
    }

Member Data Documentation

data_list

template<class Data >

DataDeque SVF::CFLFIFOWorkList< Data >::data_list

private

work list using std::vector.

Definition at line 468 of file CFGrammar.h.

data_set

template<class Data >

DataSet SVF::CFLFIFOWorkList< Data >::data_set

private

store all data in the work list.

Definition at line 467 of file CFGrammar.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/CFL/CFGrammar.h