mCRL2
|
Go to the source code of this file.
Classes | |
class | atermpp::detail::shared_subset< T > |
Stores a subset of a given base set using maximum sharing. More... | |
class | atermpp::detail::shared_subset< T >::bdd_node |
class | atermpp::detail::shared_subset< T >::iterator |
Namespaces | |
namespace | atermpp |
The main namespace for the aterm++ library. | |
namespace | atermpp::detail |
Functions | |
static int | highest_bit (std::size_t x) |
|
inlinestatic |
Definition at line 19 of file shared_subset.h.