SVF::FIFOWorkList< Data > Class Template Reference

#include <WorkList.h>

Public Member Functions
	FIFOWorkList ()
	~FIFOWorkList ()
bool	empty () const
u32_t	size () const
bool	find (const Data &data) const
bool	push (const Data &data)
void	removeFront ()
Data &	front ()
Data	pop ()
void	clear ()

Private Types
typedef Set< Data >	DataSet
typedef std::deque< Data >	DataDeque

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

Detailed Description

template<class Data>
class SVF::FIFOWorkList< 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 137 of file WorkList.h.

Member Typedef Documentation

DataDeque

template<class Data >

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

private

Definition at line 140 of file WorkList.h.

DataSet

template<class Data >

typedef Set<Data> SVF::FIFOWorkList< Data >::DataSet

private

Definition at line 139 of file WorkList.h.

Constructor & Destructor Documentation

FIFOWorkList()

template<class Data >

SVF::FIFOWorkList< Data >::FIFOWorkList ( )

inline

Definition at line 142 of file WorkList.h.

{}

~FIFOWorkList()

template<class Data >

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

inline

Definition at line 144 of file WorkList.h.

{}

Member Function Documentation

clear()

template<class Data >

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

inline

Clear all the data

Definition at line 212 of file WorkList.h.

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

empty()

template<class Data >

bool SVF::FIFOWorkList< Data >::empty ( void  ) const

inline

Definition at line 146 of file WorkList.h.

    {
        return data_list.empty();
    }

find()

template<class Data >

bool SVF::FIFOWorkList< Data >::find ( const Data &  data ) const

inline

Definition at line 157 of file WorkList.h.

    {
        return data_set.find(data) != data_set.end();
    }

front()

template<class Data >

Data& SVF::FIFOWorkList< Data >::front ( )

inline

Get reference of top data from the END of work list.

Definition at line 190 of file WorkList.h.

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

pop()

template<class Data >

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

inline

Pop a data from the END of work list.

Definition at line 200 of file WorkList.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::FIFOWorkList< Data >::push ( const Data &  data )

inline

Push a data into the work list.

Definition at line 165 of file WorkList.h.

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

removeFront()

template<class Data >

void SVF::FIFOWorkList< Data >::removeFront ( )

inline

Remove a data from the END of work list, no return value

Definition at line 180 of file WorkList.h.

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

size()

template<class Data >

u32_t SVF::FIFOWorkList< Data >::size ( ) const

inline

Definition at line 151 of file WorkList.h.

    {
        assert(data_list.size() == data_set.size() && "list and set must be the same size!");
        return data_list.size();
    }

Member Data Documentation

data_list

template<class Data >

DataDeque SVF::FIFOWorkList< Data >::data_list

private

work list using std::vector.

Definition at line 220 of file WorkList.h.

data_set

template<class Data >

DataSet SVF::FIFOWorkList< Data >::data_set

private

store all data in the work list.

Definition at line 219 of file WorkList.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/Util/WorkList.h