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

Class Resource

java.lang.Object

ai.grakn.graql.internal.reasoner.atom.AtomBase

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

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

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

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

All Implemented Interfaces:

Atomic

public class Resource
extends MultiPredicateBinary

Atom implementation defining a resource atom.

Author:

Kasper Piskorski

Field Summary

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

type, typeId

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

atomPattern, varName

Constructor Summary

Constructors

Constructor and Description
Resource(VarAdmin pattern, ReasonerQuery par)
Resource(VarAdmin pattern, Set<Predicate> p, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
Atomic	copy()
protected ConceptId	extractTypeId(VarAdmin var)
protected VarName	extractValueVariableName(VarAdmin var)
Set<TypeAtom>	getMappedTypeConstraints()
Unifier	getUnifier(Atomic parentAtom) get unifiers by comparing this atom with parent
Set<ValuePredicate>	getValuePredicates()
boolean	isResource()
protected boolean	isRuleApplicable(InferenceRule child)
boolean	isSelectable()
boolean	requiresMaterialisation()
protected void	setValueVariable(VarName var)

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

equivalenceHashCode, getCombinedPattern, getMultiPredicate, predicatesEquivalent, setParentQuery, unify

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

equals, getLinkedAtoms, getValueVariable, getVarNames, hashCode, isBinary, isEquivalent

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

getApplicableRules, getIdPredicates, getNonSelectableConstraints, getPermutationUnifiers, getPredicates, getRoleVarTypeMap, getType, getTypeConstraints, getTypeId, getUnmappedIdPredicates, getUnmappedTypeConstraints, hasSubstitution, inferTypes, isAtom, isRecursive, isRelation, isRuleResolvable, isType, rewriteToUserDefined, rewriteToUserDefinedWithUnifiers

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

containsVar, getParentQuery, getPattern, getVarName, graph, isUserDefinedName, toString

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(VarAdmin pattern,
                ReasonerQuery par)

Resource

public Resource(VarAdmin pattern,
                Set<Predicate> p,
                ReasonerQuery par)

Method Detail

isRuleApplicable

protected boolean isRuleApplicable(InferenceRule child)

Overrides:

isRuleApplicable in class BinaryBase

extractTypeId

protected ConceptId extractTypeId(VarAdmin var)

Specified by:

extractTypeId in class MultiPredicateBinary

extractValueVariableName

protected VarName extractValueVariableName(VarAdmin var)

Specified by:

extractValueVariableName in class BinaryBase

setValueVariable

protected void setValueVariable(VarName var)

Overrides:

setValueVariable in class BinaryBase

copy

public Atomic copy()

Specified by:

copy in interface Atomic

Specified by:

copy in class AtomBase

isResource

public boolean isResource()

Overrides:

isResource in class Atom

Returns:

true if the atom corresponds to a resource atom

isSelectable

public boolean isSelectable()

Returns:

true if the atom can form an atomic query

requiresMaterialisation

public boolean requiresMaterialisation()

Overrides:

requiresMaterialisation in class BinaryBase

Returns:

true if the atom requires materialisation in order to be referenced

getUnifier

public Unifier getUnifier(Atomic parentAtom)

Description copied from class: AtomBase

get unifiers by comparing this atom with parent

Specified by:

getUnifier in interface Atomic

Overrides:

getUnifier in class BinaryBase

Parameters:

parentAtom - atom defining variable names

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