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

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

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

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