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