Package com.clevercloud.biscuit.datalog
Class MatchedVariables
- java.lang.Object
-
- com.clevercloud.biscuit.datalog.MatchedVariables
-
- All Implemented Interfaces:
Serializable
public final class MatchedVariables extends Object implements Serializable
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description MatchedVariables(Set<Long> ids)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description io.vavr.control.Option<Map<Long,Term>>check_expressions(List<Expression> expressions, SymbolTable symbols)MatchedVariablesclone()Optional<Map<Long,Term>>complete()booleaninsert(long key, Term value)booleanis_complete()
-
-
-
Method Detail
-
insert
public boolean insert(long key, Term value)
-
is_complete
public boolean is_complete()
-
clone
public MatchedVariables clone()
-
check_expressions
public io.vavr.control.Option<Map<Long,Term>> check_expressions(List<Expression> expressions, SymbolTable symbols)
-
-