Package tools.refinery.store.reasoning.translator

Class PartialSymbolTranslator<A extends AbstractValue<A,C>,C>

java.lang.Object

tools.refinery.store.reasoning.translator.PartialSymbolTranslator<A,C>

All Implemented Interfaces:

ModelStoreConfiguration, AnyPartialSymbolTranslator

Direct Known Subclasses:

PartialFunctionTranslator, PartialRelationTranslator

public abstract sealed class PartialSymbolTranslator<A extends AbstractValue<A,C>,C>
extends Object
implements AnyPartialSymbolTranslator
permits PartialFunctionTranslator<A,C>, PartialRelationTranslator

Field Summary

Fields

Modifier and Type	Field	Description
protected @Nullable Criterion	accept
protected boolean	acceptWasSet
protected List<Rule>	decisionRules
protected @Nullable Criterion	exclude
protected boolean	excludeWasSet
protected PartialModelInitializer	initializer
protected PartialInterpretation.Factory<A,C>	interpretationFactory
protected PartialInterpretationRefiner.Factory<A,C>	interpretationRefiner
protected @Nullable Objective	objective
protected boolean	objectiveWasSet
protected StorageRefiner.Factory<?>	storageRefiner
protected AnySymbol	storageSymbol

Method Summary

Modifier and Type	Method	Description
PartialSymbolTranslator<A,C>	accept(@Nullable Criterion acceptanceCriterion)
void	apply(ModelStoreBuilder storeBuilder)
protected void	checkConfigured()
protected void	checkNotConfigured()
void	configure(ModelStoreBuilder storeBuilder)
PartialSymbolTranslator<A,C>	decision(Rule decisionRule)
protected void	doConfigure(ModelStoreBuilder storeBuilder)
PartialSymbolTranslator<A,C>	exclude(@Nullable Criterion exclusionCriterion)
PartialInterpretation.Factory<A,C>	getInterpretationFactory()
PartialInterpretationRefiner.Factory<A,C>	getInterpretationRefiner()
PartialSymbol<A,C>	getPartialSymbol()
PartialSymbolTranslator<A,C>	initializer(PartialModelInitializer initializer)
PartialSymbolTranslator<A,C>	interpretation(PartialInterpretation.Factory<A,C> interpretationFactory)
boolean	isConfigured()
PartialSymbolTranslator<A,C>	objective(Objective objective)
PartialSymbolTranslator<A,C>	refiner(PartialInterpretationRefiner.Factory<A,C> interpretationRefiner)
PartialSymbolTranslator<A,C>	symbol(AnySymbol storageSymbol)
<T> PartialSymbolTranslator<A,C>	symbol(Symbol<T> storageSymbol, StorageRefiner.Factory<T> storageRefiner)

Methods inherited from class java.lang.Object

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

Field Details

interpretationRefiner

protected PartialInterpretationRefiner.Factory<A extends AbstractValue<A,C>,C> interpretationRefiner

storageSymbol

protected AnySymbol storageSymbol

storageRefiner

protected StorageRefiner.Factory<?> storageRefiner

interpretationFactory

protected PartialInterpretation.Factory<A extends AbstractValue<A,C>,C> interpretationFactory

initializer

protected PartialModelInitializer initializer

decisionRules

protected List<Rule> decisionRules

acceptWasSet

protected boolean acceptWasSet

accept

@Nullable
protected @Nullable Criterion accept

excludeWasSet

protected boolean excludeWasSet

exclude

@Nullable
protected @Nullable Criterion exclude

objectiveWasSet

protected boolean objectiveWasSet

objective

@Nullable
protected @Nullable Objective objective

Method Details

getPartialSymbol

public PartialSymbol<A,C> getPartialSymbol()

Specified by:

getPartialSymbol in interface AnyPartialSymbolTranslator

apply

public void apply(ModelStoreBuilder storeBuilder)

Specified by:

apply in interface ModelStoreConfiguration

isConfigured

public boolean isConfigured()

checkConfigured

protected void checkConfigured()

checkNotConfigured

protected void checkNotConfigured()

symbol

public PartialSymbolTranslator<A,C> symbol(AnySymbol storageSymbol)

symbol

public <T> PartialSymbolTranslator<A,C> symbol(Symbol<T> storageSymbol,
 StorageRefiner.Factory<T> storageRefiner)

interpretation

public PartialSymbolTranslator<A,C> interpretation(PartialInterpretation.Factory<A,C> interpretationFactory)

refiner

public PartialSymbolTranslator<A,C> refiner(PartialInterpretationRefiner.Factory<A,C> interpretationRefiner)

initializer

public PartialSymbolTranslator<A,C> initializer(PartialModelInitializer initializer)

decision

public PartialSymbolTranslator<A,C> decision(Rule decisionRule)

accept

public PartialSymbolTranslator<A,C> accept(@Nullable
 @Nullable Criterion acceptanceCriterion)

exclude

public PartialSymbolTranslator<A,C> exclude(@Nullable
 @Nullable Criterion exclusionCriterion)

objective

public PartialSymbolTranslator<A,C> objective(Objective objective)

configure

public void configure(ModelStoreBuilder storeBuilder)

Specified by:

configure in interface AnyPartialSymbolTranslator

doConfigure

protected void doConfigure(ModelStoreBuilder storeBuilder)

getInterpretationFactory

public PartialInterpretation.Factory<A,C> getInterpretationFactory()

getInterpretationRefiner

public PartialInterpretationRefiner.Factory<A,C> getInterpretationRefiner()