Package tools.refinery.store.reasoning.translator

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

java.lang.Object

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

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

All Implemented Interfaces:

ModelStoreConfiguration, AnyPartialSymbolTranslator

public final class PartialFunctionTranslator<A extends AbstractValue<A,C>,C>
extends PartialSymbolTranslator<A,C>

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
PartialFunctionTranslator<A,C>	candidate(FunctionalQuery<A> candidate)
protected void	doConfigure(ModelStoreBuilder storeBuilder)
PartialFunctionTranslator<A,C>	domain(Constraint domainRelation)
PartialFunction<A,C>	getPartialFunction()
PartialFunctionRewriter<A,C>	getRewriter()
PartialFunctionTranslator<A,C>	interpretation(PartialInterpretation.Factory<A,C> interpretationFactory)
static <A extends AbstractValue<A, C>, C> PartialFunctionTranslator<A,C>	of(PartialFunction<A,C> partialFunction)
PartialFunctionTranslator<A,C>	partial(FunctionalQuery<A> partial)
PartialFunctionTranslator<A,C>	query(FunctionalQuery<A> query)
PartialFunctionTranslator<A,C>	refiner(PartialInterpretationRefiner.Factory<A,C> interpretationRefiner)
PartialFunctionTranslator<A,C>	rewriter(PartialFunctionRewriter<A,C> rewriter)
PartialFunctionTranslator<A,C>	symbol(AnySymbol storageSymbol)
<T> PartialFunctionTranslator<A,C>	symbol(Symbol<T> storageSymbol, StorageRefiner.Factory<T> storageRefiner)

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

accept, apply, checkConfigured, checkNotConfigured, configure, decision, exclude, getInterpretationFactory, getInterpretationRefiner, getPartialSymbol, initializer, isConfigured, objective

Methods inherited from class java.lang.Object

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

Method Details

getPartialFunction

public PartialFunction<A,C> getPartialFunction()

symbol

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

Overrides:

symbol in class PartialSymbolTranslator<A extends AbstractValue<A,C>,C>

symbol

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

Overrides:

symbol in class PartialSymbolTranslator<A extends AbstractValue<A,C>,C>

domain

public PartialFunctionTranslator<A,C> domain(Constraint domainRelation)

interpretation

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

Overrides:

interpretation in class PartialSymbolTranslator<A extends AbstractValue<A,C>,C>

refiner

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

Overrides:

refiner in class PartialSymbolTranslator<A extends AbstractValue<A,C>,C>

rewriter

public PartialFunctionTranslator<A,C> rewriter(PartialFunctionRewriter<A,C> rewriter)

query

public PartialFunctionTranslator<A,C> query(FunctionalQuery<A> query)

partial

public PartialFunctionTranslator<A,C> partial(FunctionalQuery<A> partial)

candidate

public PartialFunctionTranslator<A,C> candidate(FunctionalQuery<A> candidate)

doConfigure

protected void doConfigure(ModelStoreBuilder storeBuilder)

Overrides:

doConfigure in class PartialSymbolTranslator<A extends AbstractValue<A,C>,C>

getRewriter

public PartialFunctionRewriter<A,C> getRewriter()

of

public static <A extends AbstractValue<A,
C>,
C>
PartialFunctionTranslator<A,C> of(PartialFunction<A,C> partialFunction)