Description
template<class S, class T>
class Sawyer::Container::BiMap< S, T >
One-to-one mapping between source and target values.
This container holds a one-to-one mapping from values in a domain to values in a range and can look up values in the forward or reverse direction in log time. It does so by consistently maintaining two maps: a forward map and a reverse map. The forward map maps values in the domain to values in the range, while the reverse map goes the other direction. The forward and reverse methods return const references to these maps. The BiMap container provides methods for modifying the mapping.
#include <util/Sawyer/BiMap.h>
Public Types | |
| typedef S | Source |
| Type of values in the domain. More... | |
| typedef T | Target |
| Type of values in the range. More... | |
| typedef Sawyer::Container::Map< Source, Target > | Forward |
| Type for domain-to-range map. More... | |
| typedef Sawyer::Container::Map< Target, Source > | Reverse |
| Type for range-to-domain map. More... | |
Public Member Functions | |
| BiMap () | |
| Default constructor. More... | |
| BiMap (const BiMap &other) | |
| Copy constructor. More... | |
| template<class U > | |
| BiMap (const BiMap< Source, U > &a, const BiMap< U, Target > &b) | |
| Construct a new map by composition of two maps. More... | |
| void | clear () |
| Erase all mappings. More... | |
| bool | eraseSource (const Source &source) |
| Erase domain value and its associated range value. More... | |
| bool | eraseTarget (const Target &target) |
| Erase range value and its associated domain value. More... | |
| bool | erase (const Source &source, const Target &target) |
| Erase a specific map entry. More... | |
| void | insert (const Source &source, const Target &target) |
| Insert a new mapping. More... | |
| const Forward & | forward () const |
| Return forward mapping. More... | |
| const Reverse & | reverse () const |
| Return reverse mapping. More... | |
Member Typedef Documentation
| typedef S Sawyer::Container::BiMap< S, T >::Source |
| typedef T Sawyer::Container::BiMap< S, T >::Target |
| typedef Sawyer::Container::Map<Source, Target> Sawyer::Container::BiMap< S, T >::Forward |
| typedef Sawyer::Container::Map<Target, Source> Sawyer::Container::BiMap< S, T >::Reverse |
Constructor & Destructor Documentation
|
inline |
| Sawyer::Container::BiMap< S, T >::BiMap | ( | const BiMap< S, T > & | other | ) |
Copy constructor.
|
inline |
Construct a new map by composition of two maps.
Given two BiMap objects where the range type of the first is the domain type of the second, construct a new BiMap from the domain of the first to the range of the second. The new map will contain only those domain/range pairs that map across both input maps.
Member Function Documentation
|
inline |
|
inline |
Erase domain value and its associated range value.
If source exists in this map's domain, then it is removed along with the corresponding value in the range. Otherwise the map is not modified. Returns true if the map was modified, false if not.
Definition at line 72 of file BiMap.h.
Referenced by Sawyer::Container::BiMap< RegisterDescriptor, SymbolicExpression::Ptr >::insert().
|
inline |
Erase range value and its associated domain value.
If target exists in this map's range, then it is removed along with the corresponding value in the domain. Otherwise the map is not modified. Returns true if the map was modified, false if not.
Definition at line 84 of file BiMap.h.
Referenced by Sawyer::Container::BiMap< RegisterDescriptor, SymbolicExpression::Ptr >::insert().
|
inline |
Erase a specific map entry.
Erases the 1:1 mapping between source and target if present. This is a no-op unless source is a member of the domain and target is a member of the range and source maps to target (and vice versa). Returns true if the map was modified, false if not.
|
inline |
Insert a new mapping.
Creates a new mapping from source in the domain to target in the range. If source is already a member of the domain then it is first erased along with its corresponding value in the range; likewise, if target is already a member of the range then it is first erased along with its corresponding value in the domain.
|
inline |
|
inline |
The documentation for this class was generated from the following file:
