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

Packages that use Predicate

Package	Description
org.biscuitsec.biscuit.token.builder	Builder interface to create tokens and caveats
org.biscuitsec.biscuit.token.builder.parser

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.clone()
static Predicate	Predicate.convert_from(Predicate p, SymbolTable symbols)
static Predicate	Utils.pred(String name, List<Term> ids)

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

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

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

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

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

Methods in org.biscuitsec.biscuit.token.builder.parser that return types with arguments of type Predicate

Modifier and Type	Method	Description
static io.vavr.control.Either<Error,io.vavr.Tuple2<String,Predicate>>	Parser.fact_predicate(String s)
static io.vavr.control.Either<Error,io.vavr.Tuple2<String,Predicate>>	Parser.predicate(String s)
static io.vavr.control.Either<Error,io.vavr.Tuple4<String,List<Predicate>,List<Expression>,List<Scope>>>	Parser.rule_body(String s)