Uses of Class
de.cau.cs.kieler.quartz.editor.services.QuartzGrammarAccess.ProofGoalListElements

Packages that use QuartzGrammarAccess.ProofGoalListElements
de.cau.cs.kieler.quartz.editor.services   
 

Uses of QuartzGrammarAccess.ProofGoalListElements in de.cau.cs.kieler.quartz.editor.services
 

Methods in de.cau.cs.kieler.quartz.editor.services that return QuartzGrammarAccess.ProofGoalListElements
 QuartzGrammarAccess.ProofGoalListElements QuartzGrammarAccess.getProofGoalListAccess()