ai.grakn.graql.internal.reasoner.query

Class QueryAnswers

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<Map<VarName,Concept>>

ai.grakn.graql.internal.reasoner.query.QueryAnswers

All Implemented Interfaces:

Serializable, Cloneable, Iterable<Map<VarName,Concept>>, Collection<Map<VarName,Concept>>, Set<Map<VarName,Concept>>

public class QueryAnswers
extends HashSet<Map<VarName,Concept>>

Wrapper class for a set of answers providing higher level filtering facilities as well as unification and join operations.

Author:

Kasper Piskorski

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
QueryAnswers()
QueryAnswers(Collection<? extends Map<VarName,Concept>> ans)

Method Summary

Modifier and Type	Method and Description
QueryAnswers	filterByEntityTypes(Set<TypeAtom> types)
QueryAnswers	filterBySubstitutions(Set<IdPredicate> subs)
QueryAnswers	filterKnown(QueryAnswers known) filter answers by discarding the already known ones
QueryAnswers	filterNonEquals(Set<NotEquals> filters) filter answers by applying NonEquals filters
QueryAnswers	filterVars(Set<VarName> vars) filter answers by constraining the variable set to the provided one
static <T extends ReasonerQuery> QueryAnswers	getUnifiedAnswers(T parentQuery, T childQuery, QueryAnswers answers) unify answers of childQuery with parentQuery
QueryAnswers	join(QueryAnswers localTuples) perform a join operation between this and provided answers
QueryAnswers	permute(Set<Map<VarName,VarName>> unifierSet, Set<IdPredicate> subs, Set<TypeAtom> types) permute answer based on specified sets of permutations defined by unifiers
static Map<VarName,Concept>	unify(Map<VarName,Concept> answer, Map<VarName,VarName> unifiers)
QueryAnswers	unify(Map<VarName,VarName> unifiers) unify the answers by applying unifiers to variable set

Methods inherited from class java.util.HashSet

add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

addAll, containsAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Set

addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

QueryAnswers

public QueryAnswers()

QueryAnswers

public QueryAnswers(Collection<? extends Map<VarName,Concept>> ans)

Method Detail

permute

public QueryAnswers permute(Set<Map<VarName,VarName>> unifierSet,
                            Set<IdPredicate> subs,
                            Set<TypeAtom> types)

permute answer based on specified sets of permutations defined by unifiers

Parameters:

unifierSet - set of unifier mappings to perform the permutation on

subs - substitutions that need to met

types - type constraints that need to be met

Returns:

permuted answers

filterVars

public QueryAnswers filterVars(Set<VarName> vars)

filter answers by constraining the variable set to the provided one

Parameters:

vars - set of variable names

Returns:

filtered answers

filterKnown

public QueryAnswers filterKnown(QueryAnswers known)

filter answers by discarding the already known ones

Parameters:

known - set of known answers

Returns:

filtered answers

filterNonEquals

public QueryAnswers filterNonEquals(Set<NotEquals> filters)

filter answers by applying NonEquals filters

Parameters:

filters - non equal atoms to

Returns:

filtered answers

filterBySubstitutions

public QueryAnswers filterBySubstitutions(Set<IdPredicate> subs)

filterByEntityTypes

public QueryAnswers filterByEntityTypes(Set<TypeAtom> types)

join

public QueryAnswers join(QueryAnswers localTuples)

perform a join operation between this and provided answers

Parameters:

localTuples - right operand of join operation

Returns:

joined answers

unify

public QueryAnswers unify(Map<VarName,VarName> unifiers)

unify the answers by applying unifiers to variable set

Parameters:

unifiers - map of [key: from/value: to] unifiers

Returns:

unified query answers

unify

public static Map<VarName,Concept> unify(Map<VarName,Concept> answer,
                                         Map<VarName,VarName> unifiers)

getUnifiedAnswers

public static <T extends ReasonerQuery> QueryAnswers getUnifiedAnswers(T parentQuery,
                                                                       T childQuery,
                                                                       QueryAnswers answers)

unify answers of childQuery with parentQuery

Parameters:

parentQuery - parent atomic query containing target variables

Returns:

unified answers