JavaScript is disabled on your browser.
Skip navigation links
Source
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
SEARCH:
Uses of Class
pascal.taie.World
Packages that use
World
Package
Description
pascal.taie
Uses of
World
in
pascal.taie
Methods in
pascal.taie
that return
World
Modifier and Type
Method
Description
static
World
World.
get
()
Methods in
pascal.taie
with parameters of type
World
Modifier and Type
Method
Description
static void
World.
set
(
World
world)
Sets current world to
world
.