fixed_vector.h File Reference

a vector class that cannot be moved while it is not empty More...

Go to the source code of this file.

Classes
class	mcrl2::lts::detail::fixed_vector< T >

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::lts
	The main LTS namespace.
namespace	mcrl2::lts::detail
	A base class for the lts_dot labelled transition system.

Detailed Description

a vector class that cannot be moved while it is not empty

The stuttering equivalence algorithm by Groote / Jansen / Keiren / Wijs is implemented using a large number of iterators that should not be invalidated. The fixed_vector class provides a data structure based on std::vector that guarantees that its iterators remain valid. All methods that could reallocate the storage (and therefore invalidate the iterators) are disabled, except clear(), which can be called just before destructing the fixed_vector.

Author

David N. Jansen, Radboud Universiteit, Nijmegen, The Netherlands

Definition in file fixed_vector.h.