public abstract class Binary extends Atom
Implementation for binary atoms with single id typePredicate for a schema concept. Binary atoms take the form: <>($varName, $predicateVariable), type($predicateVariable)
| Modifier and Type | Method and Description |
|---|---|
int |
alphaEquivalenceHashCode() |
void |
checkValid() |
protected Pattern |
createCombinedPattern() |
java.util.stream.Stream<Predicate> |
getInnerPredicates() |
Var |
getPredicateVariable() |
SchemaConcept |
getSchemaConcept() |
ConceptId |
getTypeId() |
IdPredicate |
getTypePredicate() |
Unifier |
getUnifier(Atom parentAtom) |
Set<Var> |
getVarNames() |
boolean |
isAlphaEquivalent(Object obj) |
boolean |
isStructurallyEquivalent(Object obj) |
void |
setParentQuery(ReasonerQuery q) |
int |
structuralEquivalenceHashCode() |
addType, atomOptions, computePriority, getApplicableRules, getIdPredicate, getInnerPredicates, getMultiUnifier, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPotentialRules, getPredicate, getPredicates, getPredicates, getRoleExpansionVariables, getSpecificTypeConstraints, getTypeConstraints, getVarProperties, getVarPropertyClass, inferTypes, inferTypes, isAtom, isGround, isRecursive, isRuleApplicableViaAtom, isRuleResolvable, materialise, requiresMaterialisation, requiresRoleExpansion, rewriteToUserDefined, rewriteWithRelationVariable, rewriteWithTypeVariable, rewriteWithTypeVariable, toRelationshipAtom, validateAsRuleHeadcontainsVar, copy, getCombinedPattern, getParentQuery, getPattern, getVarName, isUserDefined, toString, txclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitisCompatibleWith, isRelation, isResource, isSelectable, isType, validateOntologicallypublic void checkValid()
checkValid in interface AtomiccheckValid in class AtomicBasepublic Var getPredicateVariable()
getPredicateVariable in class Atom@Nullable public IdPredicate getTypePredicate()
@Nullable public SchemaConcept getSchemaConcept()
getSchemaConcept in class Atompublic ConceptId getTypeId()
public boolean isAlphaEquivalent(Object obj)
public int alphaEquivalenceHashCode()
public boolean isStructurallyEquivalent(Object obj)
public int structuralEquivalenceHashCode()
protected Pattern createCombinedPattern()
createCombinedPattern in class AtomicBasepublic void setParentQuery(ReasonerQuery q)
setParentQuery in interface AtomicsetParentQuery in class AtomicBasepublic Set<Var> getVarNames()
getVarNames in interface AtomicgetVarNames in class AtomicBasepublic java.util.stream.Stream<Predicate> getInnerPredicates()
getInnerPredicates in class Atompublic Unifier getUnifier(Atom parentAtom)
getUnifier in class AtomparentAtom - atom to be unified withCopyright © 2018 Grakn Labs Ltd. All rights reserved.