Here is a list of all typedefs with links to the classes they belong to:

- m -

• MappingPtr : SVF::PointsTo
• MDEF : SVF::MemSSA
• MeldVersion : SVF::VersionedFlowSensitive
• MemObjToFieldsMap : SVF::SVFIR
• MemRegToBBsMap : SVF::MemSSA
• MemRegToCounterMap : SVF::MemSSA
• MemRegToVerStackMap : SVF::MemSSA
• MRSet : SVF::MemSSA, SVF::MRGenerator
• MRVector : SVF::MemSSA
• MRVerSet : SVF::IndirectSVFGEdge
• MSSADef : SVF::MRVer
• MSSAVarToDefMapTy : SVF::SVFG
• MU : SVF::MemSSA, SVF::SVFG
• MUSet : SVF::MemSSA, SVF::SVFG
• MutDFPTDataTy : SVF::BVDataPTAImpl, SVF::FlowSensitive
• MutDiffPTDataTy : SVF::BVDataPTAImpl
• MutIncDFPTDataTy : SVF::BVDataPTAImpl
• MutPTDataTy : SVF::BVDataPTAImpl, SVF::CondPTAImpl< Cond >
• MutVersionedPTDataTy : SVF::BVDataPTAImpl