cz.afri.smg

Interfaces

• SMGAbstractionCandidate
• SMGAbstractionFinder
• SMGConcretisation

Classes

• SMGAbstractionManager