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

Packages that use Fact

Package	Description
com.clevercloud.biscuit.datalog	Implementation of the Datalog engine for the check language
com.clevercloud.biscuit.token	Classes related to creating and verifying Biscuit tokens
com.clevercloud.biscuit.token.builder	Builder interface to create tokens and caveats

Uses of Fact in com.clevercloud.biscuit.datalog

Methods in com.clevercloud.biscuit.datalog that return types with arguments of type Fact

Modifier and Type	Method	Description
static io.vavr.control.Either<Error.FormatError,Fact>	Fact.deserializeV2(Schema.FactV2 fact)
Set<Fact>	World.facts()
Set<Fact>	World.query(Predicate pred)
Set<Fact>	World.query_rule(Rule rule, SymbolTable symbols)
Set<Fact>	AuthorizedWorld.queryAll(Rule rule, SymbolTable symbols)

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

Modifier and Type	Method	Description
void	World.add_fact(Fact fact)
String	SymbolTable.print_fact(Fact f)

Method parameters in com.clevercloud.biscuit.datalog with type arguments of type Fact

Modifier and Type	Method	Description
void	World.add_facts(Set<Fact> facts)
void	Rule.apply(Set<Fact> facts, Set<Fact> new_facts, SymbolTable symbols)
boolean	Rule.find_match(Set<Fact> facts, SymbolTable symbols)

Constructor parameters in com.clevercloud.biscuit.datalog with type arguments of type Fact

Constructor	Description
AuthorizedWorld(Set<Fact> facts)
Combinator(MatchedVariables variables, List<Predicate> predicates, List<Expression> expressions, Set<Fact> all_facts, SymbolTable symbols)
World(Set<Fact> facts)
World(Set<Fact> facts, List<Rule> rules)
World(Set<Fact> facts, List<Rule> rules, List<Check> checks)

Uses of Fact in com.clevercloud.biscuit.token

Constructor parameters in com.clevercloud.biscuit.token with type arguments of type Fact

Constructor	Description
Block(SymbolTable base_symbols, String context, List<Fact> facts, List<Rule> rules, List<Check> checks)	creates a new block

Uses of Fact in com.clevercloud.biscuit.token.builder

Methods in com.clevercloud.biscuit.token.builder that return Fact

Modifier and Type	Method	Description
Fact	Fact.convert(SymbolTable symbols)

Methods in com.clevercloud.biscuit.token.builder with parameters of type Fact

Modifier and Type	Method	Description
static Fact	Fact.convert_from(Fact f, SymbolTable symbols)