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

Class HasAtom

java.lang.Object

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

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

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

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

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

All Implemented Interfaces:

Atomic

public class HasAtom
extends TypeAtom

TypeAtom corresponding to graql a HasResourceTypeProperty property.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
HasAtom(VarPatternAdmin pattern, Var predicateVar, IdPredicate p, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
Atomic	copy()
Set<TypeAtom>	unify(Unifier u)

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

computePriority, equals, getSchemaConcept, hashCode, isRuleApplicableViaAtom, isSelectable, isType, requiresMaterialisation

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

equivalenceHashCode, getCombinedPattern, getInnerPredicates, getPredicateVariable, getTypeId, getTypePredicate, getUnifier, getVarNames, isEquivalent, setParentQuery

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

addType, atomOptions, baseResolutionPriority, getApplicableRules, getIdPredicate, getInnerPredicates, getMultiUnifier, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPredicate, getPredicates, getPredicates, getRoleExpansionVariables, getSpecificTypeConstraints, getTypeConstraints, getVarProperties, inferTypes, isAtom, isRecursive, isRuleResolvable, requiresRoleExpansion, rewriteToUserDefined, toRelationshipAtom

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

containsVar, getParentQuery, getPattern, getVarName, isUserDefined, toString, tx

Methods inherited from class java.lang.Object

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

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

isAllowedToFormRuleHead, isPredicate, isRelation, isResource, validateOntologically

Constructor Detail

HasAtom

public HasAtom(VarPatternAdmin pattern,
               Var predicateVar,
               IdPredicate p,
               ReasonerQuery par)

Method Detail

copy

public Atomic copy()

Specified by:

copy in interface Atomic

Specified by:

copy in class AtomicBase

unify

public Set<TypeAtom> unify(Unifier u)

Specified by:

unify in class TypeAtom

Parameters:

u - unifier to be applied

Returns:

set of type atoms resulting from applying the unifier