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

Packages that use Predicate

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

Uses of Predicate in org.biscuitsec.biscuit.datalog

Methods in org.biscuitsec.biscuit.datalog that return Predicate

Modifier and Type	Method	Description
Predicate	Predicate.clone()
Predicate	Rule.head()
Predicate	Fact.predicate()

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

Modifier and Type	Method	Description
List<Predicate>	Rule.body()
static io.vavr.control.Either<Error.FormatError,Predicate>	Predicate.deserializeV2(Schema.PredicateV2 predicate)

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

Modifier and Type	Method	Description
boolean	Predicate.match(Predicate rule_predicate)
boolean	Fact.match_predicate(Predicate rule_predicate)
String	SymbolTable.print_predicate(Predicate p)

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

Constructor	Description
Fact(Predicate predicate)
Rule(Predicate head, List<Predicate> body, List<Expression> expressions)
Rule(Predicate head, List<Predicate> body, List<Expression> expressions, List<Scope> scopes)

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

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)
Rule(Predicate head, List<Predicate> body, List<Expression> expressions)
Rule(Predicate head, List<Predicate> body, List<Expression> expressions, List<Scope> scopes)

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

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

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

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

Modifier and Type	Method	Description
static Predicate	Predicate.convert_from(Predicate p, SymbolTable symbols)