mCRL2
Loading...
Searching...
No Matches
indexed_set.h File Reference

Go to the source code of this file.

Classes

class  atermpp::indexed_set< Key, ThreadSafe, Hash, Equals, Allocator, KeyTable >
 A set that assigns each element an unique index, and protects its internal terms en masse. More...
 

Namespaces

namespace  atermpp
 The main namespace for the aterm++ library.
 
namespace  mcrl2
 A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
 
namespace  mcrl2::utilities
 
namespace  mcrl2::utilities::detail
 

Functions

template<typename Key , bool ThreadSafe = false, typename Hash = std::hash<Key>, typename Equals = std::equal_to<Key>, typename Allocator = std::allocator<Key>, typename KeyTable = atermpp::deque<Key >>
bool mcrl2::utilities::detail::contains (const atermpp::indexed_set< Key, ThreadSafe, Hash, Equals, Allocator, KeyTable > &c, const typename atermpp::indexed_set< Key, ThreadSafe, Hash, Equals, Allocator, KeyTable >::key_type &v, const std::size_t thread_index=0)