|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |