Package tools.refinery.store.reasoning.interpretation

Class QueryBasedComputedRewriter

java.lang.Object

tools.refinery.store.reasoning.interpretation.QueryBasedRelationRewriter

tools.refinery.store.reasoning.interpretation.QueryBasedComputedRewriter

All Implemented Interfaces:

PartialRelationRewriter

public class QueryBasedComputedRewriter
extends QueryBasedRelationRewriter

Constructor Summary

Constructors

Constructor	Description
QueryBasedComputedRewriter(RelationalQuery may, RelationalQuery must, RelationalQuery candidateMay, RelationalQuery candidateMust, RelationalQuery computation)

Method Summary

Modifier and Type	Method	Description
List<Literal>	rewriteComputed(Set<Variable> positiveVariables, AbstractCallLiteral literal, Modality modality, Concreteness concreteness)

Methods inherited from class tools.refinery.store.reasoning.interpretation.QueryBasedRelationRewriter

getCandidateMay, getCandidateMust, getMay, getMust, rewriteLiteral

Methods inherited from class java.lang.Object

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

Constructor Details

QueryBasedComputedRewriter

public QueryBasedComputedRewriter(RelationalQuery may,
 RelationalQuery must,
 RelationalQuery candidateMay,
 RelationalQuery candidateMust,
 RelationalQuery computation)

Method Details

rewriteComputed

public List<Literal> rewriteComputed(Set<Variable> positiveVariables,
 AbstractCallLiteral literal,
 Modality modality,
 Concreteness concreteness)