public abstract class SubAtom extends OntologicalAtom
TypeAtom corresponding to graql a SubProperty property.
applicableRules| Constructor and Description |
|---|
SubAtom() |
| Modifier and Type | Method and Description |
|---|---|
Atomic |
copy(ReasonerQuery parent) |
static SubAtom |
create(Var var,
Var predicateVar,
ConceptId predicateId,
ReasonerQuery parent) |
abstract ReasonerQuery |
getParentQuery() |
abstract VarPattern |
getPattern() |
abstract Var |
getPredicateVariable() |
Class<? extends VarProperty> |
getVarPropertyClass() |
String |
toString() |
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, 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 SubAtom create(Var var, Var predicateVar, ConceptId predicateId, ReasonerQuery parent)
public Atomic copy(ReasonerQuery parent)
public Class<? extends VarProperty> getVarPropertyClass()
getVarPropertyClass in class Atompublic String toString()
toString in class AtomicBaseCopyright © 2018 Grakn Labs Ltd. All rights reserved.