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

Class IsaAtomBase

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

All Implemented Interfaces:

Atomic

Direct Known Subclasses:

IsaAtom, RelationshipAtom

public abstract class IsaAtomBase
extends TypeAtom

Base class for isa atoms.

Author:

Kasper Piskorski

Field Summary

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

applicableRules

Constructor Summary

Constructors

Constructor and Description
IsaAtomBase()

Method Summary

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

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

isRuleApplicableViaAtom, isSelectable, isType, isUnifiableWith, requiresMaterialisation

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

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

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

addType, atomOptions, getApplicableRules, getInnerPredicates, getMultiUnifier, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPossibleTypes, getPotentialRules, getRoleExpansionVariables, getTypeConstraints, getVarProperties, getVarPropertyClass, inferTypes, inferTypes, isAtom, isBounded, isDisconnected, isGround, isRecursive, isRuleResolvable, materialise, requiresDecomposition, requiresRoleExpansion, requiresSchema, rewriteToAtoms, rewriteToUserDefined, rewriteWithRelationVariable, rewriteWithTypeVariable, rewriteWithTypeVariable, toIsaAtom, toRelationshipAtom, validateAsRuleHead

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

getCombinedPattern, getIdPredicate, getPredicate, getPredicates, getPredicates, isUserDefined, toString, tx

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

copy, getParentQuery, getPattern, getVarName, isCompatibleWith, isRelation, isResource, validateOntologically

Constructor Detail

IsaAtomBase

public IsaAtomBase()

Method Detail

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