stack_array.h File Reference

Go to the source code of this file.

Classes
class	mcrl2::utilities::stack_array< T >
	Provides (a subset of) the interface of std::array<T> for a portion of preallocated memory. Can be used to interface with a portion of memory allocated on the stack,. More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::utilities

Macros
#define	MCRL2_STACK_ARRAY_NAME(NAME)    NAME ## _reserved_stack_memory
	Define a (hopefully) unique name for the underlying reserved stack memory.
#define	MCRL2_DECLARE_STACK_ARRAY(NAME, TYPE, SIZE)
	Declares a stack_array<TYPE> with the specified NAME that stores SIZE elements type TYPE.

Macro Definition Documentation

MCRL2_DECLARE_STACK_ARRAY

#define MCRL2_DECLARE_STACK_ARRAY	(		NAME,
			TYPE,
			SIZE
	)

Value:

  TYPE* MCRL2_STACK_ARRAY_NAME(NAME) = MCRL2_SPECIFIC_STACK_ALLOCATOR(TYPE, SIZE); \
  mcrl2::utilities::stack_array<TYPE> NAME (MCRL2_STACK_ARRAY_NAME(NAME), SIZE)

Declares a stack_array<TYPE> with the specified NAME that stores SIZE elements type TYPE.

Definition at line 98 of file stack_array.h.

MCRL2_STACK_ARRAY_NAME

#define MCRL2_STACK_ARRAY_NAME

(

NAME

)

NAME ## _reserved_stack_memory

Define a (hopefully) unique name for the underlying reserved stack memory.

Definition at line 94 of file stack_array.h.