Package org.biscuitsec.biscuit.datalog

Class Combinator

java.lang.Object

org.biscuitsec.biscuit.datalog.Combinator

All Implemented Interfaces:

Serializable, Iterator<io.vavr.Tuple2<Origin,Map<Long,Term>>>

public final class Combinator
extends Object
implements Serializable, Iterator<io.vavr.Tuple2<Origin,Map<Long,Term>>>

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
Combinator(MatchedVariables variables, List<Predicate> predicates, java.util.function.Supplier<java.util.stream.Stream<io.vavr.Tuple2<Origin,Fact>>> all_facts, SymbolTable symbols)

Method Summary

Modifier and Type	Method	Description
io.vavr.control.Option<io.vavr.Tuple2<Origin,Map<Long,Term>>>	getNext()
boolean	hasNext()
io.vavr.Tuple2<Origin,Map<Long,Term>>	next()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining, remove

Constructor Detail

Combinator

public Combinator(MatchedVariables variables,
                  List<Predicate> predicates,
                  java.util.function.Supplier<java.util.stream.Stream<io.vavr.Tuple2<Origin,Fact>>> all_facts,
                  SymbolTable symbols)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<io.vavr.Tuple2<Origin,Map<Long,Term>>>

next

public io.vavr.Tuple2<Origin,Map<Long,Term>> next()

Specified by:

next in interface Iterator<io.vavr.Tuple2<Origin,Map<Long,Term>>>

getNext

public io.vavr.control.Option<io.vavr.Tuple2<Origin,Map<Long,Term>>> getNext()