public interface Atomic
Basic interface for logical atoms used in reasoning.
| Modifier and Type | Method and Description |
|---|---|
default boolean |
containsVar(Var name) |
Atomic |
copy() |
int |
equivalenceHashCode() |
PatternAdmin |
getCombinedPattern() |
ReasonerQuery |
getParentQuery() |
PatternAdmin |
getPattern() |
Var |
getVarName() |
Set<Var> |
getVarNames() |
default boolean |
isAtom() |
boolean |
isEquivalent(Object obj) |
default boolean |
isPredicate() |
default boolean |
isRecursive() |
default boolean |
isRuleResolvable() |
default boolean |
isSelectable() |
default boolean |
isUserDefinedName() |
void |
setParentQuery(ReasonerQuery q) |
@CheckReturnValue Atomic copy()
@CheckReturnValue default boolean isAtom()
@CheckReturnValue default boolean isPredicate()
@CheckReturnValue boolean isEquivalent(Object obj)
@CheckReturnValue int equivalenceHashCode()
@CheckReturnValue default boolean isUserDefinedName()
@CheckReturnValue default boolean isRuleResolvable()
@CheckReturnValue default boolean isSelectable()
@CheckReturnValue default boolean isRecursive()
@CheckReturnValue default boolean containsVar(Var name)
name - variable name@CheckReturnValue PatternAdmin getPattern()
@CheckReturnValue PatternAdmin getCombinedPattern()
@CheckReturnValue ReasonerQuery getParentQuery()
void setParentQuery(ReasonerQuery q)
q - query this atom is supposed to belong to@CheckReturnValue Var getVarName()
@CheckReturnValue Set<Var> getVarNames()
Copyright © 2017 Grakn Labs Ltd. All rights reserved.