mcrl2::data::detail::nfs_array Class Reference

#include <nfs_array.h>

Inheritance diagram for mcrl2::data::detail::nfs_array:

Public Member Functions
	nfs_array (std::size_t size)
void	fill (bool val)
	operator bool () const

Detailed Description

Definition at line 24 of file nfs_array.h.

Constructor & Destructor Documentation

nfs_array()

mcrl2::data::detail::nfs_array::nfs_array ( std::size_t  size )

inline

Definition at line 27 of file nfs_array.h.

Member Function Documentation

fill()

void mcrl2::data::detail::nfs_array::fill ( bool  val )

inline

Definition at line 31 of file nfs_array.h.

operator bool()

mcrl2::data::detail::nfs_array::operator bool ( ) const

inline

Definition at line 36 of file nfs_array.h.

---

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

• data/include/mcrl2/data/detail/rewrite/nfs_array.h