Package tools.refinery.store.reasoning
Interface ReasoningAdapter
- All Superinterfaces:
ModelAdapter
-
Field Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic ReasoningBuilder
builder()
boolean
cleanup
(int nodeToDelete) @Nullable Tuple1
focus
(int parentObject) int
default AnyPartialInterpretation
getPartialInterpretation
(Concreteness concreteness, AnyPartialSymbol partialSymbol) <A extends AbstractValue<A,
C>, C>
PartialInterpretation<A, C> getPartialInterpretation
(Concreteness concreteness, PartialSymbol<A, C> partialSymbol) default AnyPartialInterpretationRefiner
getRefiner
(AnyPartialSymbol partialSymbol) <A extends AbstractValue<A,
C>, C>
PartialInterpretationRefiner<A, C> getRefiner
(PartialSymbol<A, C> partialSymbol) @Nullable Tuple1
split
(int parentMultiObject) Methods inherited from interface tools.refinery.store.adapter.ModelAdapter
getModel
-
Field Details
-
EXISTS_SYMBOL
-
EQUALS_SYMBOL
-
-
Method Details
-
getStoreAdapter
ReasoningStoreAdapter getStoreAdapter()- Specified by:
getStoreAdapter
in interfaceModelAdapter
-
getPartialInterpretation
default AnyPartialInterpretation getPartialInterpretation(Concreteness concreteness, AnyPartialSymbol partialSymbol) -
getPartialInterpretation
<A extends AbstractValue<A,C>, PartialInterpretation<A,C> C> getPartialInterpretation(Concreteness concreteness, PartialSymbol<A, C> partialSymbol) -
getRefiner
-
getRefiner
<A extends AbstractValue<A,C>, PartialInterpretationRefiner<A,C> C> getRefiner(PartialSymbol<A, C> partialSymbol) -
split
-
focus
-
cleanup
boolean cleanup(int nodeToDelete) -
getNodeCount
int getNodeCount() -
builder
-