Package tools.refinery.store.reasoning.translator.attribute

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

java.lang.Object

tools.refinery.store.reasoning.translator.attribute.ShadowFunctionTranslator<A,C>

All Implemented Interfaces:

ModelStoreConfiguration

public class ShadowFunctionTranslator<A extends AbstractValue<A,C>,C>
extends Object
implements ModelStoreConfiguration

Constructor Summary

Constructors

Constructor	Description
ShadowFunctionTranslator(PartialFunction<A,C> partialFunction, PartialRelation domainRelation, FunctionalQuery<A> query, boolean hasInterpretation)

Method Summary

Modifier and Type	Method	Description
void	apply(ModelStoreBuilder storeBuilder)

Methods inherited from class java.lang.Object

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

Constructor Details

ShadowFunctionTranslator

public ShadowFunctionTranslator(PartialFunction<A,C> partialFunction,
 PartialRelation domainRelation,
 FunctionalQuery<A> query,
 boolean hasInterpretation)

Method Details

apply

public void apply(ModelStoreBuilder storeBuilder)

Specified by:

apply in interface ModelStoreConfiguration