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

Packages that use Fact

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

Uses of Fact in org.biscuitsec.biscuit.datalog

Methods in org.biscuitsec.biscuit.datalog that return types with arguments of type Fact

Modifier and Type	Method	Description
java.util.stream.Stream<io.vavr.control.Either<Error,io.vavr.Tuple2<Origin,Fact>>>	Rule.apply(java.util.function.Supplier<java.util.stream.Stream<io.vavr.Tuple2<Origin,Fact>>> factsSupplier, Long ruleOrigin, SymbolTable symbols)
static io.vavr.control.Either<Error.FormatError,Fact>	Fact.deserializeV2(Schema.FactV2 fact)
HashMap<Origin,HashSet<Fact>>	FactSet.facts()
java.util.stream.Stream<Fact>	FactSet.stream()

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

Modifier and Type	Method	Description
void	FactSet.add(Origin origin, Fact fact)
void	World.add_fact(Origin origin, Fact fact)
String	SymbolTable.print_fact(Fact f)

Method parameters in org.biscuitsec.biscuit.datalog with type arguments of type Fact

Modifier and Type	Method	Description
java.util.stream.Stream<io.vavr.control.Either<Error,io.vavr.Tuple2<Origin,Fact>>>	Rule.apply(java.util.function.Supplier<java.util.stream.Stream<io.vavr.Tuple2<Origin,Fact>>> factsSupplier, Long ruleOrigin, SymbolTable symbols)

Constructor parameters in org.biscuitsec.biscuit.datalog with type arguments of type Fact

Constructor	Description
Combinator(MatchedVariables variables, List<Predicate> predicates, java.util.function.Supplier<java.util.stream.Stream<io.vavr.Tuple2<Origin,Fact>>> all_facts, SymbolTable symbols)
FactSet(Origin o, HashSet<Fact> factSet)
SchemaVersion(List<Fact> facts, List<Rule> rules, List<Check> checks, List<Scope> scopes)

Uses of Fact in org.biscuitsec.biscuit.token

Constructor parameters in org.biscuitsec.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, List<Scope> scopes, List<PublicKey> publicKeys, io.vavr.control.Option<PublicKey> externalKey, int version)	creates a new block

Uses of Fact in org.biscuitsec.biscuit.token.builder

Methods in org.biscuitsec.biscuit.token.builder that return Fact

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

Methods in org.biscuitsec.biscuit.token.builder with parameters of type Fact

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