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

Class SubAtom

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.OntologicalAtom

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

All Implemented Interfaces:

Atomic

public class SubAtom
extends OntologicalAtom

TypeAtom corresponding to graql a SubProperty property.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
SubAtom(VarPattern pattern, Var predicateVar, IdPredicate p, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
Atomic	copy()
Class<? extends VarProperty>	getVarPropertyClass()
Atom	rewriteToUserDefined(Atom parentAtom) rewrites the atom to one with suitably user-defined names depending on provided parent
Atom	rewriteWithTypeVariable()
String	toString()
Set<TypeAtom>	unify(Unifier u)

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

getApplicableRules, isSelectable, validateAsRuleHead

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

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

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

alphaEquivalenceHashCode, checkValid, createCombinedPattern, getInnerPredicates, getPredicateVariable, getTypeId, getTypePredicate, getUnifier, getVarNames, isAlphaEquivalent, isStructurallyEquivalent, setParentQuery, structuralEquivalenceHashCode

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

addType, atomOptions, getIdPredicate, getInnerPredicates, getMultiUnifier, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPotentialRules, getPredicate, getPredicates, getPredicates, getRoleExpansionVariables, getSpecificTypeConstraints, getTypeConstraints, getVarProperties, inferTypes, inferTypes, isAtom, isGround, isRecursive, isRuleResolvable, materialise, requiresRoleExpansion, rewriteWithRelationVariable, rewriteWithTypeVariable, toRelationshipAtom

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

containsVar, getCombinedPattern, getParentQuery, getPattern, getVarName, isUserDefined, 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

isCompatibleWith, isRelation, isResource, validateOntologically

Constructor Detail

SubAtom

public SubAtom(VarPattern pattern,
               Var predicateVar,
               IdPredicate p,
               ReasonerQuery par)

Method Detail

getVarPropertyClass

public Class<? extends VarProperty> getVarPropertyClass()

Specified by:

getVarPropertyClass in class Atom

toString

public String toString()

Overrides:

toString in class AtomicBase

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

rewriteWithTypeVariable

public Atom rewriteWithTypeVariable()

Specified by:

rewriteWithTypeVariable in class Atom

rewriteToUserDefined

public Atom rewriteToUserDefined(Atom parentAtom)

Description copied from class: Atom

rewrites the atom to one with suitably user-defined names depending on provided parent

Specified by:

rewriteToUserDefined in class Atom

Parameters:

parentAtom - parent atom that triggers rewrite

Returns:

rewritten atom