Uses of Class
de.cau.cs.kieler.krep.editors.klp.services.KlpGrammarAccess.JmpElements

Packages that use KlpGrammarAccess.JmpElements
de.cau.cs.kieler.krep.editors.klp.services   
 

Uses of KlpGrammarAccess.JmpElements in de.cau.cs.kieler.krep.editors.klp.services
 

Methods in de.cau.cs.kieler.krep.editors.klp.services that return KlpGrammarAccess.JmpElements
 KlpGrammarAccess.JmpElements KlpGrammarAccess.getJmpAccess()