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

Packages that use Term

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 Term in com.clevercloud.biscuit.datalog

Subclasses of Term in com.clevercloud.biscuit.datalog

Modifier and Type	Class	Description
static class	Term.Bool
static class	Term.Bytes
static class	Term.Date
static class	Term.Integer
static class	Term.Set
static class	Term.Str
static class	Term.Variable

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

Modifier and Type	Method	Description
Term	SymbolTable.add(String symbol)

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

Modifier and Type	Method	Description
io.vavr.control.Option<Map<Long,Term>>	MatchedVariables.check_expressions(List<Expression> expressions, SymbolTable symbols)
List<Map<Long,Term>>	Combinator.combine()
Optional<Map<Long,Term>>	MatchedVariables.complete()
static io.vavr.control.Either<Error.FormatError,Term>	Term.deserialize_enumV2(Schema.TermV2 term)
static io.vavr.control.Either<Error.FormatError,Term>	Term.Bool.deserializeV2(Schema.TermV2 term)
static io.vavr.control.Either<Error.FormatError,Term>	Term.Bytes.deserializeV2(Schema.TermV2 term)
static io.vavr.control.Either<Error.FormatError,Term>	Term.Date.deserializeV2(Schema.TermV2 term)
static io.vavr.control.Either<Error.FormatError,Term>	Term.Integer.deserializeV2(Schema.TermV2 term)
static io.vavr.control.Either<Error.FormatError,Term>	Term.Set.deserializeV2(Schema.TermV2 term)
static io.vavr.control.Either<Error.FormatError,Term>	Term.Str.deserializeV2(Schema.TermV2 term)
static io.vavr.control.Either<Error.FormatError,Term>	Term.Variable.deserializeV2(Schema.TermV2 term)
ListIterator<Term>	Predicate.ids_iterator()
List<Term>	Predicate.terms()
HashSet<Term>	Term.Set.value()

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

Modifier and Type	Method	Description
boolean	MatchedVariables.insert(long key, Term value)
boolean	Term.Bool.match(Term other)
boolean	Term.Bytes.match(Term other)
boolean	Term.Date.match(Term other)
boolean	Term.Integer.match(Term other)
abstract boolean	Term.match(Term other)
boolean	Term.Set.match(Term other)
boolean	Term.Str.match(Term other)
boolean	Term.Variable.match(Term other)
String	SymbolTable.print_id(Term value)

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

Constructor	Description
Fact(long name, List<Term> terms)
Predicate(long name, List<Term> terms)
Set(HashSet<Term> value)

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

Methods in com.clevercloud.biscuit.datalog.expressions that return Term

Modifier and Type	Method	Description
Term	Op.Value.getValue()

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

Modifier and Type	Method	Description
io.vavr.control.Option<Term>	Expression.evaluate(Map<Long,Term> variables, SymbolTable symbols)

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

Modifier and Type	Method	Description
io.vavr.control.Option<Term>	Expression.evaluate(Map<Long,Term> variables, SymbolTable symbols)
boolean	Op.Binary.evaluate(Deque<Term> stack, Map<Long,Term> variables, SymbolTable symbols)
boolean	Op.Binary.evaluate(Deque<Term> stack, Map<Long,Term> variables, SymbolTable symbols)
abstract boolean	Op.evaluate(Deque<Term> stack, Map<Long,Term> variables, SymbolTable symbols)
abstract boolean	Op.evaluate(Deque<Term> stack, Map<Long,Term> variables, SymbolTable symbols)
boolean	Op.Unary.evaluate(Deque<Term> stack, Map<Long,Term> variables, SymbolTable symbols)
boolean	Op.Unary.evaluate(Deque<Term> stack, Map<Long,Term> variables, SymbolTable symbols)
boolean	Op.Value.evaluate(Deque<Term> stack, Map<Long,Term> variables, SymbolTable symbols)
boolean	Op.Value.evaluate(Deque<Term> stack, Map<Long,Term> variables, SymbolTable symbols)

Constructors in com.clevercloud.biscuit.datalog.expressions with parameters of type Term

Constructor	Description
Value(Term value)

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

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

Modifier and Type	Method	Description
Term	Term.Bool.convert(SymbolTable symbols)
Term	Term.Bytes.convert(SymbolTable symbols)
abstract Term	Term.convert(SymbolTable symbols)
Term	Term.Date.convert(SymbolTable symbols)
Term	Term.Integer.convert(SymbolTable symbols)
Term	Term.Set.convert(SymbolTable symbols)
Term	Term.Str.convert(SymbolTable symbols)
Term	Term.Variable.convert(SymbolTable symbols)

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

Modifier and Type	Method	Description
static Term	Term.convert_from(Term id, SymbolTable symbols)