public abstract class HasAtom extends OntologicalAtom
TypeAtom corresponding to graql a HasAttributeTypeProperty property.
applicableRules| Constructor and Description |
|---|
HasAtom() |
| Modifier and Type | Method and Description |
|---|---|
Atomic |
copy(ReasonerQuery parent) |
static HasAtom |
create(VarPattern pattern,
Var predicateVar,
ConceptId predicateId,
ReasonerQuery parent) |
static HasAtom |
create(Var var,
Var predicateVar,
ConceptId predicateId,
ReasonerQuery parent) |
abstract ReasonerQuery |
getParentQuery() |
abstract VarPattern |
getPattern() |
abstract Var |
getPredicateVariable() |
Class<? extends VarProperty> |
getVarPropertyClass() |
getApplicableRules, getPotentialRules, isSelectable, rewriteToUserDefined, rewriteWithTypeVariable, unify, validateAsRuleHeadisRuleApplicableViaAtom, isType, isUnifiableWith, requiresMaterialisationalphaEquivalenceHashCode, checkValid, createCombinedPattern, getInnerPredicates, getSchemaConcept, getTypeId, getTypePredicate, getUnifier, getVarNames, isAlphaEquivalent, isDirect, isStructurallyEquivalent, structuralEquivalenceHashCodeaddType, atomOptions, getInnerPredicates, getMultiUnifier, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPossibleTypes, getRoleExpansionVariables, getTypeConstraints, getVarProperties, inferTypes, inferTypes, isAtom, isBounded, isDisconnected, isGround, isRecursive, isRuleResolvable, materialise, requiresDecomposition, requiresRoleExpansion, requiresSchema, rewriteToAtoms, rewriteWithRelationVariable, rewriteWithTypeVariable, toIsaAtom, toRelationshipAtomgetCombinedPattern, getIdPredicate, getPredicate, getPredicates, getPredicates, isUserDefined, toString, txclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetVarName, isCompatibleWith, isRelation, isResource, validateOntologicallypublic abstract Var getPredicateVariable()
getPredicateVariable in class Binarypublic abstract VarPattern getPattern()
public abstract ReasonerQuery getParentQuery()
public static HasAtom create(VarPattern pattern, Var predicateVar, ConceptId predicateId, ReasonerQuery parent)
public static HasAtom create(Var var, Var predicateVar, ConceptId predicateId, ReasonerQuery parent)
public Atomic copy(ReasonerQuery parent)
public Class<? extends VarProperty> getVarPropertyClass()
getVarPropertyClass in class AtomCopyright © 2018 Grakn Labs Ltd. All rights reserved.