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

Modifier and Type	Method	Description
io.vavr.control.Option<Map<Long,Term>>	check_expressions(List<Expression> expressions, SymbolTable symbols)
MatchedVariables	clone()
Optional<Map<Long,Term>>	complete()
boolean	insert(long key, Term value)
boolean	is_complete()

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MatchedVariables

public MatchedVariables(Set<Long> ids)

Method Detail

insert

public boolean insert(long key,
                      Term value)

is_complete

public boolean is_complete()

complete

public Optional<Map<Long,Term>> complete()

clone

public MatchedVariables clone()

Overrides:

clone in class Object

check_expressions

public io.vavr.control.Option<Map<Long,Term>> check_expressions(List<Expression> expressions,
                                                                      SymbolTable symbols)