Uses of Class
com.clevercloud.biscuit.datalog.World

Packages that use World

Package	Description
com.clevercloud.biscuit.datalog	Implementation of the Datalog engine for the check language

Uses of World in com.clevercloud.biscuit.datalog

Subclasses of World in com.clevercloud.biscuit.datalog

Modifier and Type	Class	Description
class	AuthorizedWorld

Methods in com.clevercloud.biscuit.datalog with parameters of type World

Modifier and Type	Method	Description
String	SymbolTable.print_world(World w)

Constructors in com.clevercloud.biscuit.datalog with parameters of type World

Constructor	Description
World(World w)