|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AssumeList | |
---|---|
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 AssumeList in de.cau.cs.kieler.quartz.editor.quartz |
---|
Subinterfaces of AssumeList in de.cau.cs.kieler.quartz.editor.quartz | |
---|---|
interface |
QNameList
A representation of the model object 'QName List'. |
Methods in de.cau.cs.kieler.quartz.editor.quartz that return AssumeList | |
---|---|
AssumeList |
QuartzFactory.createAssumeList()
Returns a new object of class 'Assume List'. |
Methods in de.cau.cs.kieler.quartz.editor.quartz that return types with arguments of type AssumeList | |
---|---|
EList<AssumeList> |
ProofGoalList.getAss()
Returns the value of the 'Ass' containment reference list. |
Uses of AssumeList in de.cau.cs.kieler.quartz.editor.quartz.impl |
---|
Classes in de.cau.cs.kieler.quartz.editor.quartz.impl that implement AssumeList | |
---|---|
class |
AssumeListImpl
An implementation of the model object 'Assume List'. |
class |
QNameListImpl
An implementation of the model object 'QName List'. |
Fields in de.cau.cs.kieler.quartz.editor.quartz.impl with type parameters of type AssumeList | |
---|---|
protected EList<AssumeList> |
ProofGoalListImpl.ass
The cached value of the ' Ass ' containment reference list. |
Methods in de.cau.cs.kieler.quartz.editor.quartz.impl that return AssumeList | |
---|---|
AssumeList |
QuartzFactoryImpl.createAssumeList()
|
Methods in de.cau.cs.kieler.quartz.editor.quartz.impl that return types with arguments of type AssumeList | |
---|---|
EList<AssumeList> |
ProofGoalListImpl.getAss()
|
Uses of AssumeList in de.cau.cs.kieler.quartz.editor.quartz.util |
---|
Methods in de.cau.cs.kieler.quartz.editor.quartz.util with parameters of type AssumeList | |
---|---|
T |
QuartzSwitch.caseAssumeList(AssumeList object)
Returns the result of interpreting the object as an instance of 'Assume List'. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |