Package tools.refinery.store.reasoning.interpretation

Class QueryBasedRelationRewriter

java.lang.Object

tools.refinery.store.reasoning.interpretation.QueryBasedRelationRewriter

All Implemented Interfaces:

PartialRelationRewriter

Direct Known Subclasses:

QueryBasedComputedRewriter

public class QueryBasedRelationRewriter
extends Object
implements PartialRelationRewriter

Constructor Summary

Constructors

Constructor	Description
QueryBasedRelationRewriter(RelationalQuery may, RelationalQuery must, RelationalQuery candidateMay, RelationalQuery candidateMust)

Method Summary

Modifier and Type	Method	Description
RelationalQuery	getCandidateMay()
RelationalQuery	getCandidateMust()
RelationalQuery	getMay()
RelationalQuery	getMust()
List<Literal>	rewriteLiteral(Set<Variable> positiveVariables, AbstractCallLiteral literal, Modality modality, Concreteness concreteness)

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.store.reasoning.interpretation.PartialRelationRewriter

rewriteComputed

Constructor Details

QueryBasedRelationRewriter

public QueryBasedRelationRewriter(RelationalQuery may,
 RelationalQuery must,
 RelationalQuery candidateMay,
 RelationalQuery candidateMust)

Method Details

getMay

public RelationalQuery getMay()

getMust

public RelationalQuery getMust()

getCandidateMay

public RelationalQuery getCandidateMay()

getCandidateMust

public RelationalQuery getCandidateMust()

rewriteLiteral

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

Specified by:

rewriteLiteral in interface PartialRelationRewriter