cz.afri.smg.graphs

Interfaces

• ReadableSMG
• SMGValues.SMGExplicitValue
• SMGValues.SMGSymbolicValue
• WritableSMG

Classes

• CLangSMGConsistencyVerifier
• CLangStackFrame
• SMGEdgeHasValue
• SMGEdgeHasValueFilter
• SMGEdgePointsTo
• SMGFactory
• SMGPlotter
• SMGValueFactory
• SMGValues
• SMGValues.SMGKnownExpValue
• SMGValues.SMGKnownSymValue