Package tools.refinery.store.reasoning.interpretation

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

java.lang.Object

tools.refinery.store.reasoning.interpretation.QueryBasedFunctionInterpretationFactory<A,C>

All Implemented Interfaces:

PartialInterpretation.Factory<A,C>

public class QueryBasedFunctionInterpretationFactory<A extends AbstractValue<A,C>,C>
extends Object
implements PartialInterpretation.Factory<A,C>

Constructor Summary

Constructors

Constructor	Description
QueryBasedFunctionInterpretationFactory(FunctionalQuery<A> partial, FunctionalQuery<A> candidate, AbstractDomain<A,C> abstractDomain)

Method Summary

Modifier and Type	Method	Description
void	configure(ModelStoreBuilder storeBuilder, Set<Concreteness> requiredInterpretations)
PartialInterpretation<A,C>	create(ReasoningAdapter adapter, Concreteness concreteness, PartialSymbol<A,C> partialSymbol)

Methods inherited from class java.lang.Object

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

Constructor Details

QueryBasedFunctionInterpretationFactory

public QueryBasedFunctionInterpretationFactory(FunctionalQuery<A> partial,
 FunctionalQuery<A> candidate,
 AbstractDomain<A,C> abstractDomain)

Method Details

create

public PartialInterpretation<A,C> create(ReasoningAdapter adapter,
 Concreteness concreteness,
 PartialSymbol<A,C> partialSymbol)

Specified by:

create in interface PartialInterpretation.Factory<A extends AbstractValue<A,C>,C>

configure

public void configure(ModelStoreBuilder storeBuilder,
 Set<Concreteness> requiredInterpretations)

Specified by:

configure in interface PartialInterpretation.Factory<A extends AbstractValue<A,C>,C>