List Class Reference

#include <List.hpp>

Collaboration diagram for List:

Classes
struct	Node

Public Member Functions
	List ()
TM_CALLABLE bool	lookup (int val TM_ARG) const
TM_CALLABLE void	insert (int val TM_ARG)
TM_CALLABLE void	remove (int val TM_ARG)
bool	isSane () const
bool	extendedSanityCheck (verifier v, uint32_t param) const
TM_CALLABLE int	findmax (TM_ARG_ALONE) const
TM_CALLABLE int	findmin (TM_ARG_ALONE) const
TM_CALLABLE void	overwrite (int val TM_ARG)

Public Attributes
Node *	sentinel

Constructor & Destructor Documentation

List::List

(

)

Member Function Documentation

bool List::extendedSanityCheck	(	verifier	v,
		uint32_t	param
	)		const

TM_CALLABLE int List::findmax

(

TM_ARG_ALONE

)

const

TM_CALLABLE int List::findmin

(

TM_ARG_ALONE

)

const

TM_CALLABLE void List::insert

(

int val

TM_ARG

)

Here is the caller graph for this function:

bool List::isSane

(

void

)

const

Here is the caller graph for this function:

TM_CALLABLE bool List::lookup

(

int val

TM_ARG

)

const

Here is the caller graph for this function:

TM_CALLABLE void List::overwrite

(

int val

TM_ARG

)

TM_CALLABLE void List::remove

(

int val

TM_ARG

)

Here is the caller graph for this function:

Member Data Documentation

Node* List::sentinel

---

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

• rstm/rstm-dev/bench/List.hpp