Package tools.refinery.store.reasoning.translator

Class PartialRelationTranslator

java.lang.Object

tools.refinery.store.reasoning.translator.PartialSymbolTranslator<TruthValue,Boolean>

tools.refinery.store.reasoning.translator.PartialRelationTranslator

All Implemented Interfaces:

ModelStoreConfiguration, AnyPartialSymbolTranslator

public final class PartialRelationTranslator
extends PartialSymbolTranslator<TruthValue,Boolean>

Field Summary

Fields inherited from class tools.refinery.store.reasoning.translator.PartialSymbolTranslator

accept, acceptWasSet, decisionRules, exclude, excludeWasSet, initializer, interpretationFactory, interpretationRefiner, objective, objectiveWasSet, storageRefiner, storageSymbol

Method Summary

Modifier and Type	Method	Description
PartialRelationTranslator	accept(Criterion acceptanceCriterion)
PartialRelationTranslator	candidate(RelationalQuery candidate)
PartialRelationTranslator	candidateMay(RelationalQuery candidateMay)
PartialRelationTranslator	candidateMust(RelationalQuery candidateMust)
PartialRelationTranslator	decision(Rule decisionRule)
protected void	doConfigure(ModelStoreBuilder storeBuilder)
PartialRelationTranslator	exclude(Criterion exclusionCriterion)
PartialRelation	getPartialRelation()
PartialRelationRewriter	getRewriter()
PartialRelationTranslator	initializer(PartialModelInitializer initializer)
PartialRelationTranslator	interpretation(PartialInterpretation.Factory<TruthValue,Boolean> interpretationFactory)
PartialRelationTranslator	may(RelationalQuery may)
PartialRelationTranslator	mayNever()
PartialRelationTranslator	mergeCandidateWithPartial(boolean mergeCandidateWithPartial)
PartialRelationTranslator	must(RelationalQuery must)
PartialRelationTranslator	objective(Objective objective)
static PartialRelationTranslator	of(PartialRelation relation)
PartialRelationTranslator	query(RelationalQuery query)
PartialRelationTranslator	refiner(PartialInterpretationRefiner.Factory<TruthValue,Boolean> interpretationRefiner)
PartialRelationTranslator	rewriter(PartialRelationRewriter rewriter)
PartialRelationTranslator	roundingMode(RoundingMode roundingMode)
PartialRelationTranslator	symbol(AnySymbol storageSymbol)
<T> PartialRelationTranslator	symbol(Symbol<T> storageSymbol, StorageRefiner.Factory<T> storageRefiner)

Methods inherited from class tools.refinery.store.reasoning.translator.PartialSymbolTranslator

apply, checkConfigured, checkNotConfigured, configure, getInterpretationFactory, getInterpretationRefiner, getPartialSymbol, isConfigured

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

getPartialRelation

public PartialRelation getPartialRelation()

symbol

public PartialRelationTranslator symbol(AnySymbol storageSymbol)

Overrides:

symbol in class PartialSymbolTranslator<TruthValue,Boolean>

symbol

public <T> PartialRelationTranslator symbol(Symbol<T> storageSymbol,
 StorageRefiner.Factory<T> storageRefiner)

Overrides:

symbol in class PartialSymbolTranslator<TruthValue,Boolean>

interpretation

public PartialRelationTranslator interpretation(PartialInterpretation.Factory<TruthValue,Boolean> interpretationFactory)

Overrides:

interpretation in class PartialSymbolTranslator<TruthValue,Boolean>

refiner

public PartialRelationTranslator refiner(PartialInterpretationRefiner.Factory<TruthValue,Boolean> interpretationRefiner)

Overrides:

refiner in class PartialSymbolTranslator<TruthValue,Boolean>

rewriter

public PartialRelationTranslator rewriter(PartialRelationRewriter rewriter)

initializer

public PartialRelationTranslator initializer(PartialModelInitializer initializer)

Overrides:

initializer in class PartialSymbolTranslator<TruthValue,Boolean>

decision

public PartialRelationTranslator decision(Rule decisionRule)

Overrides:

decision in class PartialSymbolTranslator<TruthValue,Boolean>

accept

public PartialRelationTranslator accept(Criterion acceptanceCriterion)

Overrides:

accept in class PartialSymbolTranslator<TruthValue,Boolean>

exclude

public PartialRelationTranslator exclude(Criterion exclusionCriterion)

Overrides:

exclude in class PartialSymbolTranslator<TruthValue,Boolean>

objective

public PartialRelationTranslator objective(Objective objective)

Overrides:

objective in class PartialSymbolTranslator<TruthValue,Boolean>

query

public PartialRelationTranslator query(RelationalQuery query)

may

public PartialRelationTranslator may(RelationalQuery may)

mayNever

public PartialRelationTranslator mayNever()

must

public PartialRelationTranslator must(RelationalQuery must)

candidate

public PartialRelationTranslator candidate(RelationalQuery candidate)

candidateMay

public PartialRelationTranslator candidateMay(RelationalQuery candidateMay)

candidateMust

public PartialRelationTranslator candidateMust(RelationalQuery candidateMust)

roundingMode

public PartialRelationTranslator roundingMode(RoundingMode roundingMode)

mergeCandidateWithPartial

public PartialRelationTranslator mergeCandidateWithPartial(boolean mergeCandidateWithPartial)

doConfigure

protected void doConfigure(ModelStoreBuilder storeBuilder)

Overrides:

doConfigure in class PartialSymbolTranslator<TruthValue,Boolean>

getRewriter

public PartialRelationRewriter getRewriter()

of

public static PartialRelationTranslator of(PartialRelation relation)