public abstract class Binary extends Atom
Implementation for binary atoms with single id predicate for an ontology concept. Binary atoms take the form: <>($varName, $predicateVariable), type($predicateVariable)
| Modifier and Type | Method and Description |
|---|---|
int |
equivalenceHashCode() |
PatternAdmin |
getCombinedPattern() |
OntologyConcept |
getOntologyConcept() |
IdPredicate |
getPredicate() |
Var |
getPredicateVariable() |
ConceptId |
getTypeId() |
Unifier |
getUnifier(Atom parentAtom)
find unifier with parent atom
|
Set<Var> |
getVarNames() |
protected boolean |
hasEquivalentPredicatesWith(Binary atom) |
boolean |
isEquivalent(Object obj) |
void |
setParentQuery(ReasonerQuery q) |
baseResolutionPriority, computePriority, getApplicableRules, getIdPredicates, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPermutationUnifiers, getPredicates, getSpecificTypeConstraints, getTypeConstraints, getValuePredicates, inferTypes, isAllowedToFormRuleHead, isAtom, isRecursive, isRelation, isResource, isRuleApplicable, isRuleResolvable, isType, requiresMaterialisation, rewriteToUserDefinedcontainsVar, copy, getParentQuery, getPattern, getVarName, graph, isUserDefinedName, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitisPredicate, isSelectablepublic Var getPredicateVariable()
getPredicateVariable in class Atompublic IdPredicate getPredicate()
public OntologyConcept getOntologyConcept()
getOntologyConcept in class Atompublic ConceptId getTypeId()
public int equivalenceHashCode()
public boolean isEquivalent(Object obj)
protected boolean hasEquivalentPredicatesWith(Binary atom)
public PatternAdmin getCombinedPattern()
getCombinedPattern in interface AtomicgetCombinedPattern in class AtomicBasepublic void setParentQuery(ReasonerQuery q)
setParentQuery in interface AtomicsetParentQuery in class AtomicBaseq - query this atom is supposed to belong topublic Set<Var> getVarNames()
getVarNames in interface AtomicgetVarNames in class AtomicBasepublic Unifier getUnifier(Atom parentAtom)
AtomgetUnifier in class AtomparentAtom - atom to be unified withCopyright © 2017 Grakn Labs Ltd. All rights reserved.