|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use GateInit | |
|---|---|
| pt.uminho.gate | |
| Uses of GateInit in pt.uminho.gate |
|---|
| Methods in pt.uminho.gate that return GateInit | |
|---|---|
static GateInit |
GateInit.getInstance()
Gives access to the Workbench instance |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||