public class HasAtom extends TypeAtom
TypeAtom corresponding to graql a HasResourceTypeProperty property.
| Constructor and Description |
|---|
HasAtom(VarPatternAdmin pattern,
Var predicateVar,
IdPredicate p,
ReasonerQuery par) |
| Modifier and Type | Method and Description |
|---|---|
Atomic |
copy() |
Set<TypeAtom> |
unify(Unifier u) |
computePriority, equals, getOntologyConcept, hashCode, isAllowedToFormRuleHead, isRuleApplicable, isSelectable, isType, requiresMaterialisationequivalenceHashCode, getCombinedPattern, getPredicate, getPredicateVariable, getTypeId, getUnifier, getVarNames, hasEquivalentPredicatesWith, isEquivalent, setParentQuerybaseResolutionPriority, getApplicableRules, getIdPredicates, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPermutationUnifiers, getPredicates, getSpecificTypeConstraints, getTypeConstraints, getValuePredicates, inferTypes, isAtom, isRecursive, isRelation, isResource, isRuleResolvable, rewriteToUserDefinedcontainsVar, getParentQuery, getPattern, getVarName, graph, isUserDefinedName, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitisPredicatepublic HasAtom(VarPatternAdmin pattern, Var predicateVar, IdPredicate p, ReasonerQuery par)
Copyright © 2017 Grakn Labs Ltd. All rights reserved.