Uses of Class
de.cau.cs.kieler.maude.MaudeInterfacePlugin

Packages that use MaudeInterfacePlugin
de.cau.cs.kieler.maude   
 

Uses of MaudeInterfacePlugin in de.cau.cs.kieler.maude
 

Methods in de.cau.cs.kieler.maude that return MaudeInterfacePlugin
static MaudeInterfacePlugin MaudeInterfacePlugin.getDefault()
          Returns the shared instance of the Maude Interface plug-in.