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)
applicableRules| Constructor and Description |
|---|
Binary() |
| Modifier and Type | Method and Description |
|---|---|
int |
alphaEquivalenceHashCode() |
void |
checkValid() |
protected Pattern |
createCombinedPattern() |
java.util.stream.Stream<Predicate> |
getInnerPredicates() |
abstract Var |
getPredicateVariable() |
SchemaConcept |
getSchemaConcept() |
abstract ConceptId |
getTypeId() |
IdPredicate |
getTypePredicate() |
Unifier |
getUnifier(Atom parentAtom,
UnifierComparison unifierType)
attempt to find a UNIQUE unifier with the parent atom
|
Set<Var> |
getVarNames() |
boolean |
isAlphaEquivalent(Object obj) |
boolean |
isDirect() |
boolean |
isStructurallyEquivalent(Object obj) |
int |
structuralEquivalenceHashCode() |
addType, atomOptions, getApplicableRules, getInnerPredicates, getMultiUnifier, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPossibleTypes, getPotentialRules, getRoleExpansionVariables, getTypeConstraints, getVarProperties, getVarPropertyClass, inferTypes, inferTypes, isAtom, isBounded, isDisconnected, isGround, isRecursive, isRuleApplicableViaAtom, isRuleResolvable, isUnifiableWith, materialise, requiresDecomposition, requiresMaterialisation, requiresRoleExpansion, requiresSchema, rewriteToAtoms, rewriteToUserDefined, rewriteWithRelationVariable, rewriteWithTypeVariable, rewriteWithTypeVariable, toIsaAtom, toRelationshipAtom, validateAsRuleHeadgetCombinedPattern, getIdPredicate, getPredicate, getPredicates, getPredicates, isUserDefined, toString, txclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitcopy, getParentQuery, getPattern, getVarName, isCompatibleWith, isRelation, isResource, isSelectable, isType, validateOntologicallypublic abstract Var getPredicateVariable()
getPredicateVariable in class Atom@Nullable public IdPredicate getTypePredicate()
@Nullable public SchemaConcept getSchemaConcept()
getSchemaConcept in class Atompublic void checkValid()
checkValid in interface AtomiccheckValid in class AtomicBasepublic boolean isDirect()
public boolean isAlphaEquivalent(Object obj)
public int alphaEquivalenceHashCode()
public boolean isStructurallyEquivalent(Object obj)
public int structuralEquivalenceHashCode()
protected Pattern createCombinedPattern()
createCombinedPattern 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, UnifierComparison unifierType)
AtomgetUnifier in class AtomparentAtom - atom to be unified withunifierType - type of unifier to be computedCopyright © 2018 Grakn Labs Ltd. All rights reserved.