UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Mapping Member List

This is the complete list of members for Mapping, including all inherited members.

begin() noexceptMapping
begin() const noexceptMapping
cbegin() const noexceptMapping
cend() const noexceptMapping
clear()Mapping
concat(Mapping const &map)Mapping
const_iterator typedefMapping
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() noexceptMapping
end() const noexceptMapping
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 typedefMapping
isInjective() const Mapping
iterator typedefMapping
Mapping()Mapping
matchMappingprivate
operator<<(std::ostream &ost, Mapping const &map)Mappingfriend
operator==(const Mapping &m1, const Mapping &m2)Mappingfriend
operator[](IDType const &src)Mapping
~Mapping()Mapping