Package org.biscuitsec.biscuit.datalog
Implementation of the Datalog engine for the check language
-
Class Summary Class Description Check Combinator Fact FactSet MatchedVariables Origin Predicate Rule RuleSet RunLimits SchemaVersion Scope SymbolTable TemporarySymbolTable Term Term.Bool Term.Bytes Term.Date Term.Integer Term.Set Term.Str Term.Variable TrustedOrigins World -
Enum Summary Enum Description Check.Kind Scope.Kind