Package tools.refinery.store.reasoning.interpretation

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

java.lang.Object

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

All Implemented Interfaces:

PartialFunctionRewriter<A,C>

public class QueryBasedFunctionRewriter<A extends AbstractValue<A,C>,C>
extends Object
implements PartialFunctionRewriter<A,C>

Constructor Summary

Constructors

Constructor	Description
QueryBasedFunctionRewriter(FunctionalQuery<A> partialQuery, FunctionalQuery<A> candidateQuery, AbstractDomain<A,C> abstractDomain)

Method Summary

Modifier and Type	Method	Description
FunctionalQuery<A>	getCandidate()
FunctionalQuery<A>	getPartial()
Term<A>	rewritePartialFunctionCall(Concreteness concreteness, List<NodeVariable> arguments)

Methods inherited from class java.lang.Object

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

Constructor Details

QueryBasedFunctionRewriter

public QueryBasedFunctionRewriter(FunctionalQuery<A> partialQuery,
 FunctionalQuery<A> candidateQuery,
 AbstractDomain<A,C> abstractDomain)

Method Details

getPartial

public FunctionalQuery<A> getPartial()

getCandidate

public FunctionalQuery<A> getCandidate()

rewritePartialFunctionCall

public Term<A> rewritePartialFunctionCall(Concreteness concreteness,
 List<NodeVariable> arguments)

Specified by:

rewritePartialFunctionCall in interface PartialFunctionRewriter<A extends AbstractValue<A,C>,C>