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

Packages that use Predicate

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

Uses of Predicate in com.clevercloud.biscuit.datalog

Methods in com.clevercloud.biscuit.datalog that return Predicate

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

Methods in com.clevercloud.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 com.clevercloud.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)
Set<Fact>	World.query(Predicate pred)

Constructors in com.clevercloud.biscuit.datalog with parameters of type Predicate

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

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

Constructor	Description
Combinator(MatchedVariables variables, List<Predicate> predicates, List<Expression> expressions, Set<Fact> all_facts, SymbolTable symbols)
Rule(Predicate head, List<Predicate> body, List<Expression> expressions)

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

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

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

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

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