Package tools.refinery.store.reasoning

Interface ReasoningAdapter

All Superinterfaces:

ModelAdapter

public interface ReasoningAdapter
extends ModelAdapter

Field Summary

Fields

Modifier and Type	Field	Description
static final PartialFunction<IntInterval,Integer>	COUNT_SYMBOL
static final PartialRelation	EQUALS_SYMBOL
static final PartialRelation	EXISTS_SYMBOL

Method Summary

Modifier and Type	Method	Description
static ReasoningBuilder	builder()
boolean	cleanup(int nodeToDelete)
@Nullable Tuple1	focus(int parentObject)
int	getNodeCount()
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)
ReasoningStoreAdapter	getStoreAdapter()
void	resetInitialModel(ModelSeed modelSeed)
@Nullable Tuple1	split(int parentMultiObject)

Methods inherited from interface tools.refinery.store.adapter.ModelAdapter

getModel

Field Details

EXISTS_SYMBOL

static final PartialRelation EXISTS_SYMBOL

EQUALS_SYMBOL

static final PartialRelation EQUALS_SYMBOL

COUNT_SYMBOL

static final PartialFunction<IntInterval,Integer> COUNT_SYMBOL

Method Details

getStoreAdapter

ReasoningStoreAdapter getStoreAdapter()

Specified by:

getStoreAdapter in interface ModelAdapter

getPartialInterpretation

default AnyPartialInterpretation getPartialInterpretation(Concreteness concreteness,
 AnyPartialSymbol partialSymbol)

getPartialInterpretation

<A extends AbstractValue<A,
C>,
C>
PartialInterpretation<A,C> getPartialInterpretation(Concreteness concreteness,
 PartialSymbol<A,C> partialSymbol)

getRefiner

default AnyPartialInterpretationRefiner getRefiner(AnyPartialSymbol partialSymbol)

getRefiner

<A extends AbstractValue<A,
C>,
C>
PartialInterpretationRefiner<A,C> getRefiner(PartialSymbol<A,C> partialSymbol)

split

@Nullable
@Nullable Tuple1 split(int parentMultiObject)

focus

@Nullable
@Nullable Tuple1 focus(int parentObject)

cleanup

boolean cleanup(int nodeToDelete)

getNodeCount

int getNodeCount()

resetInitialModel

void resetInitialModel(ModelSeed modelSeed)

builder

static ReasoningBuilder builder()