UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for Mapping, including all inherited members.
begin() noexcept | Mapping | |
begin() const noexcept | Mapping | |
cbegin() const noexcept | Mapping | |
cend() const noexcept | Mapping | |
clear() | Mapping | |
concat(Mapping const &map) | Mapping | |
const_iterator typedef | Mapping | |
delSrc(IDType const &source) | Mapping | |
delSrc(unordered_set< IDType > const &sources) | Mapping | |
delTar(IDType const &target) | Mapping | |
delTar(unordered_set< IDType > const &targets) | Mapping | |
end() noexcept | Mapping | |
end() const noexcept | Mapping | |
getInverseMatch(IDType const &tar) const | Mapping | |
getInverseMatch() const | Mapping | |
getInverseMatch(Mapping::Inversion &invmatch) const | Mapping | |
getTar(IDType const &source) const | Mapping | |
hasSrc(IDType const &source) const | Mapping | |
hasTar(IDType const &target) const | Mapping | |
Inversion typedef | Mapping | |
isInjective() const | Mapping | |
iterator typedef | Mapping | |
Mapping() | Mapping | |
match | Mapping | private |
operator<<(std::ostream &ost, Mapping const &map) | Mapping | friend |
operator==(const Mapping &m1, const Mapping &m2) | Mapping | friend |
operator[](IDType const &src) | Mapping | |
~Mapping() | Mapping |