Uses of Interface
de.cau.cs.kieler.quartz.editor.quartz.ProofGoalList

Packages that use ProofGoalList
de.cau.cs.kieler.quartz.editor.quartz   
de.cau.cs.kieler.quartz.editor.quartz.impl   
de.cau.cs.kieler.quartz.editor.quartz.util   
 

Uses of ProofGoalList in de.cau.cs.kieler.quartz.editor.quartz
 

Methods in de.cau.cs.kieler.quartz.editor.quartz that return ProofGoalList
 ProofGoalList QuartzFactory.createProofGoalList()
          Returns a new object of class 'Proof Goal List'.
 

Methods in de.cau.cs.kieler.quartz.editor.quartz that return types with arguments of type ProofGoalList
 EList<ProofGoalList> ProofGoalList.getGoals()
          Returns the value of the 'Goals' containment reference list.
 

Uses of ProofGoalList in de.cau.cs.kieler.quartz.editor.quartz.impl
 

Classes in de.cau.cs.kieler.quartz.editor.quartz.impl that implement ProofGoalList
 class ProofGoalListImpl
          An implementation of the model object 'Proof Goal List'.
 

Fields in de.cau.cs.kieler.quartz.editor.quartz.impl with type parameters of type ProofGoalList
protected  EList<ProofGoalList> ProofGoalListImpl.goals
          The cached value of the 'Goals' containment reference list.
 

Methods in de.cau.cs.kieler.quartz.editor.quartz.impl that return ProofGoalList
 ProofGoalList QuartzFactoryImpl.createProofGoalList()
           
 

Methods in de.cau.cs.kieler.quartz.editor.quartz.impl that return types with arguments of type ProofGoalList
 EList<ProofGoalList> ProofGoalListImpl.getGoals()
           
 

Uses of ProofGoalList in de.cau.cs.kieler.quartz.editor.quartz.util
 

Methods in de.cau.cs.kieler.quartz.editor.quartz.util with parameters of type ProofGoalList
 T QuartzSwitch.caseProofGoalList(ProofGoalList object)
          Returns the result of interpreting the object as an instance of 'Proof Goal List'.