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

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'.