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