|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use LTSPanel | |
---|---|
dk.brics.bisim.view |
Uses of LTSPanel in dk.brics.bisim.view |
---|
Fields in dk.brics.bisim.view declared as LTSPanel | |
---|---|
private LTSPanel |
GameView.leftLTSPanel
A panel for the left LTS. |
private LTSPanel |
GameView.rightLTSPanel
A panel for the right LTS. |
Methods in dk.brics.bisim.view that return LTSPanel | |
---|---|
LTSPanel |
GameView.getLeftLTSPanel()
|
LTSPanel |
GameView.getRightLTSPanel()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |