public abstract class IsaExplicitProperty extends Object
isa-explicit property on a Thing.
This property can be queried and inserted.
THe property is defined as a relationship between an Thing and a Type.
When matching, any subtyping is ignored. For example, if we have $bob isa man, man sub person,
person sub entity then it only follows $bob isa man, not bob isa entity.
| Constructor and Description |
|---|
IsaExplicitProperty() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitisUniquecheckValid, define, from, undefine, uniquelyIdentifiesConceptgraqlString, implicitInnerVarPatternspublic static final String NAME
public static IsaExplicitProperty of(VarPatternAdmin directType)
public String getName()
public Collection<EquivalentFragmentSet> match(Var start)
VarPropertyInternalEquivalentFragmentSet to match the given property in the graphprotected final VarPattern varPatternForAtom(Var varName, Var typeVariable)
public abstract VarPatternAdmin type()
public final String getProperty()
public final java.util.stream.Stream<VarPatternAdmin> getTypes()
getTypes in interface VarPropertypublic final java.util.stream.Stream<VarPatternAdmin> innerVarPatterns()
innerVarPatterns in interface VarPropertyinnerVarPatterns in interface VarPropertyInternalpublic final Collection<PropertyExecutor> insert(Var var) throws GraqlQueryException
VarPropertyInternalPropertyExecutor that describes how to insert the given VarProperty into.insert in interface VarPropertyInternalGraqlQueryException - if this VarProperty cannot be insertedpublic final void checkValidProperty(GraknTx graph, VarPatternAdmin var) throws GraqlQueryException
GraqlQueryException@Nullable public final Atomic mapToAtom(VarPatternAdmin var, Set<VarPatternAdmin> vars, ReasonerQuery parent)
mapToAtom in interface VarPropertypublic void buildString(StringBuilder builder)
buildString in interface VarPropertypublic final void checkValid(GraknTx graph, VarPatternAdmin var) throws GraqlQueryException
VarPropertyInternalMatchcheckValid in interface VarPropertyInternalGraqlQueryExceptionpublic Collection<PropertyExecutor> define(Var var) throws GraqlQueryException
define in interface VarPropertyInternalGraqlQueryExceptionpublic Collection<PropertyExecutor> undefine(Var var) throws GraqlQueryException
undefine in interface VarPropertyInternalGraqlQueryExceptionpublic java.util.stream.Stream<VarPatternAdmin> implicitInnerVarPatterns()
implicitInnerVarPatterns in interface VarPropertyCopyright © 2018 Grakn Labs Ltd. All rights reserved.