ai.grakn.graql.internal.reasoner.atom.binary

Class Resource

java.lang.Object

ai.grakn.graql.internal.reasoner.atom.AtomicBase

ai.grakn.graql.internal.reasoner.atom.Atom

ai.grakn.graql.internal.reasoner.atom.binary.BinaryBase

ai.grakn.graql.internal.reasoner.atom.binary.MultiPredicateBinary<ValuePredicate>

ai.grakn.graql.internal.reasoner.atom.binary.Resource

All Implemented Interfaces:

Atomic

public class Resource
extends MultiPredicateBinary<ValuePredicate>

Atom implementation defining a resource atom corresponding to a HasResourceProperty.

Author:

Kasper Piskorski

Field Summary

Fields inherited from class ai.grakn.graql.internal.reasoner.atom.Atom

applicableRules, typeId

Fields inherited from class ai.grakn.graql.internal.reasoner.atom.AtomicBase

atomPattern

Constructor Summary

Constructors

Constructor and Description
Resource(VarPatternAdmin pattern, ReasonerQuery par)
Resource(VarPatternAdmin pattern, Set<ValuePredicate> p, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
int	computePriority(Set<Var> subbedVars) compute resolution priority based on provided substitution variables
Atomic	copy()
protected ConceptId	extractTypeId(VarPatternAdmin var)
protected Var	extractValueVariableName(VarPatternAdmin var)
Set<TypeAtom>	getMappedTypeConstraints()
Unifier	getUnifier(Atom parentAtom) find unifier with parent atom
Set<ValuePredicate>	getValuePredicates()
Set<Var>	getVarNames()
protected boolean	hasEquivalentPredicatesWith(BinaryBase at)
boolean	isAllowedToFormRuleHead()
boolean	isResource()
boolean	isRuleApplicable(InferenceRule child)
boolean	isSelectable()
boolean	requiresMaterialisation()
String	toString()

Methods inherited from class ai.grakn.graql.internal.reasoner.atom.binary.MultiPredicateBinary

equivalenceHashCode, getCombinedPattern, getMultiPredicate, setParentQuery

Methods inherited from class ai.grakn.graql.internal.reasoner.atom.binary.BinaryBase

equals, getValueVariable, hashCode, isEquivalent

Methods inherited from class ai.grakn.graql.internal.reasoner.atom.Atom

baseResolutionPriority, computePriority, getApplicableRules, getIdPredicates, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPermutationUnifiers, getPredicates, getType, getTypeConstraints, getTypeId, getUnmappedIdPredicates, getUnmappedTypeConstraints, inferTypes, isAtom, isRecursive, isRelation, isRuleResolvable, isType, rewriteToUserDefined

Methods inherited from class ai.grakn.graql.internal.reasoner.atom.AtomicBase

containsVar, getParentQuery, getPattern, getVarName, graph, isUserDefinedName

Methods inherited from class java.lang.Object

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

Methods inherited from interface ai.grakn.graql.admin.Atomic

isPredicate

Constructor Detail

Resource

public Resource(VarPatternAdmin pattern,
                ReasonerQuery par)

Resource

public Resource(VarPatternAdmin pattern,
                Set<ValuePredicate> p,
                ReasonerQuery par)

Method Detail

toString

public String toString()

Overrides:

toString in class AtomicBase

hasEquivalentPredicatesWith

protected boolean hasEquivalentPredicatesWith(BinaryBase at)

Specified by:

hasEquivalentPredicatesWith in class BinaryBase

isRuleApplicable

public boolean isRuleApplicable(InferenceRule child)

Specified by:

isRuleApplicable in class Atom

getVarNames

public Set<Var> getVarNames()

Specified by:

getVarNames in interface Atomic

Overrides:

getVarNames in class BinaryBase

extractTypeId

protected ConceptId extractTypeId(VarPatternAdmin var)

Specified by:

extractTypeId in class MultiPredicateBinary<ValuePredicate>

extractValueVariableName

protected Var extractValueVariableName(VarPatternAdmin var)

Specified by:

extractValueVariableName in class BinaryBase

copy

public Atomic copy()

Specified by:

copy in interface Atomic

Specified by:

copy in class AtomicBase

isResource

public boolean isResource()

Overrides:

isResource in class Atom

Returns:

true if the atom corresponds to a resource atom

isSelectable

public boolean isSelectable()

isAllowedToFormRuleHead

public boolean isAllowedToFormRuleHead()

Overrides:

isAllowedToFormRuleHead in class Atom

Returns:

true if the atom can constitute a head of a rule

requiresMaterialisation

public boolean requiresMaterialisation()

Overrides:

requiresMaterialisation in class Atom

Returns:

true if the atom requires materialisation in order to be referenced

computePriority

public int computePriority(Set<Var> subbedVars)

Description copied from class: Atom

compute resolution priority based on provided substitution variables

Overrides:

computePriority in class Atom

Parameters:

subbedVars - variables having a substitution

Returns:

resolution priority value

getUnifier

public Unifier getUnifier(Atom parentAtom)

Description copied from class: Atom

find unifier with parent atom

Overrides:

getUnifier in class BinaryBase

Parameters:

parentAtom - atom to be unified with

Returns:

unifier

getValuePredicates

public Set<ValuePredicate> getValuePredicates()

Overrides:

getValuePredicates in class Atom

Returns:

set of value predicates relevant to this atom

getMappedTypeConstraints

public Set<TypeAtom> getMappedTypeConstraints()

Overrides:

getMappedTypeConstraints in class Atom