public abstract class Atom extends AtomicBase
AtomicBase extension defining specialised functionalities.
| Modifier | Constructor and Description |
|---|---|
protected |
Atom(Atom a) |
protected |
Atom(VarPatternAdmin pattern,
ReasonerQuery par) |
containsVar, copy, getCombinedPattern, getParentQuery, getPattern, getVarName, getVarNames, graph, isUserDefinedName, setParentQuery, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitequivalenceHashCode, isEquivalent, isPredicate, isSelectableprotected Atom(VarPatternAdmin pattern, ReasonerQuery par)
protected Atom(Atom a)
public boolean isAtom()
public boolean isType()
public boolean isRelation()
public boolean isResource()
public Set<IdPredicate> getPartialSubstitutions()
public int computePriority(Set<Var> subbedVars)
subbedVars - variables having a substitutionpublic int baseResolutionPriority()
public abstract boolean isRuleApplicable(InferenceRule child)
public Set<InferenceRule> getApplicableRules()
public boolean isRuleResolvable()
public boolean isRecursive()
public boolean isAllowedToFormRuleHead()
public boolean requiresMaterialisation()
public abstract OntologyConcept getOntologyConcept()
public abstract ConceptId getTypeId()
public abstract Var getPredicateVariable()
public Set<Predicate> getPredicates()
public Set<IdPredicate> getIdPredicates()
public Set<ValuePredicate> getValuePredicates()
public Set<TypeAtom> getTypeConstraints()
public java.util.stream.Stream<Atom> getNeighbours()
public Set<Atomic> getNonSelectableConstraints()
public Set<TypeAtom> getSpecificTypeConstraints()
public Set<Unifier> getPermutationUnifiers(Atom headAtom)
headAtom - unification reference atompublic Atom inferTypes()
public Atom rewriteToUserDefined()
Copyright © 2017 Grakn Labs Ltd. All rights reserved.