cz.afri.smg.objects

Classes

• DummyAbstraction
• SMGAbstractObject
• SMGObject
• SMGObjectVisitor
• SMGRegion