Package com.clevercloud.biscuit.datalog

Class Combinator

java.lang.Object

com.clevercloud.biscuit.datalog.Combinator

All Implemented Interfaces:

Serializable

public final class Combinator
extends Object
implements Serializable

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
Combinator(MatchedVariables variables, List<Predicate> predicates, List<Expression> expressions, Set<Fact> all_facts, SymbolTable symbols)

Method Summary

Modifier and Type	Method	Description
List<Map<Long,Term>>	combine()
io.vavr.control.Option<MatchedVariables>	next()

Methods inherited from class java.lang.Object

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

Constructor Detail

Combinator

public Combinator(MatchedVariables variables,
                  List<Predicate> predicates,
                  List<Expression> expressions,
                  Set<Fact> all_facts,
                  SymbolTable symbols)

Method Detail

next

public io.vavr.control.Option<MatchedVariables> next()

combine

public List<Map<Long,Term>> combine()