Uses of Class
com.clevercloud.biscuit.datalog.expressions.Expression

Packages that use Expression

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

Uses of Expression in com.clevercloud.biscuit.datalog

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

Modifier and Type	Method	Description
List<Expression>	Rule.expressions()

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

Modifier and Type	Method	Description
String	SymbolTable.print_expression(Expression e)

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

Modifier and Type	Method	Description
io.vavr.control.Option<Map<Long,Term>>	MatchedVariables.check_expressions(List<Expression> expressions, SymbolTable symbols)

Uses of Expression in com.clevercloud.biscuit.datalog.expressions

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

Modifier and Type	Method	Description
static io.vavr.control.Either<Error.FormatError,Expression>	Expression.deserializeV2(Schema.ExpressionV2 e)

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

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

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

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

Modifier and Type	Method	Description
static Expression	Expression.convert_from(Expression e, SymbolTable symbols)