|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Translation | |
|---|---|
| starlink.AutomataElements | |
| starlink.ColouredAutomata | |
| Uses of Translation in starlink.AutomataElements |
|---|
| Methods in starlink.AutomataElements that return Translation | |
|---|---|
Translation |
ObjectFactory.createTranslation()
Create an instance of Translation |
| Uses of Translation in starlink.ColouredAutomata |
|---|
| Methods in starlink.ColouredAutomata that return Translation | |
|---|---|
static Translation |
Bridge.readTranslation(java.io.InputStream in)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||