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.