Package com.clevercloud.biscuit.datalog

Implementation of the Datalog engine for the check language

Class Summary

Class	Description
AuthorizedWorld
Check
Combinator
Fact
MatchedVariables
Predicate
Rule
RunLimits
SymbolTable
Term
Term.Bool
Term.Bytes
Term.Date
Term.Integer
Term.Set
Term.Str
Term.Variable
World