Uses of Interface
de.cau.cs.kieler.synccharts.Renaming

Packages that use Renaming
de.cau.cs.kieler.synccharts   
de.cau.cs.kieler.synccharts.impl   
de.cau.cs.kieler.synccharts.util   
 

Uses of Renaming in de.cau.cs.kieler.synccharts
 

Methods in de.cau.cs.kieler.synccharts that return Renaming
 Renaming SyncchartsFactory.createRenaming()
          Returns a new object of class 'Renaming'.
 

Methods in de.cau.cs.kieler.synccharts that return types with arguments of type Renaming
 EList<Renaming> State.getRenamings()
          Returns the value of the 'Renamings' containment reference list.
 

Uses of Renaming in de.cau.cs.kieler.synccharts.impl
 

Fields in de.cau.cs.kieler.synccharts.impl with type parameters of type Renaming
protected  EList<Renaming> StateImpl.renamings
          The cached value of the 'Renamings' containment reference list.
 

Methods in de.cau.cs.kieler.synccharts.impl that return Renaming
 Renaming SyncchartsFactoryImpl.createRenaming()
           
 

Methods in de.cau.cs.kieler.synccharts.impl that return types with arguments of type Renaming
 EList<Renaming> StateImpl.getRenamings()
           
 

Uses of Renaming in de.cau.cs.kieler.synccharts.util
 

Methods in de.cau.cs.kieler.synccharts.util with parameters of type Renaming
 T SyncchartsSwitch.caseRenaming(Renaming object)
          Returns the result of interpreting the object as an instance of 'Renaming'.