Uses of Class
org.biscuitsec.biscuit.datalog.World

Packages that use World

Package	Description
org.biscuitsec.biscuit.datalog	Implementation of the Datalog engine for the check language

Uses of World in org.biscuitsec.biscuit.datalog

Methods in org.biscuitsec.biscuit.datalog with parameters of type World

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

Constructors in org.biscuitsec.biscuit.datalog with parameters of type World

Constructor	Description
World(World w)