|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Split | |
|---|---|
| starlink.AutomataElements | |
| Uses of Split in starlink.AutomataElements |
|---|
| Fields in starlink.AutomataElements declared as Split | |
|---|---|
protected Split |
Translation.split
|
| Methods in starlink.AutomataElements that return Split | |
|---|---|
Split |
ObjectFactory.createSplit()
Create an instance of Split |
Split |
Translation.getSplit()
Gets the value of the split property. |
| Methods in starlink.AutomataElements with parameters of type Split | |
|---|---|
void |
Translation.setSplit(Split value)
Sets the value of the split property. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||