Package tools.refinery.store.reasoning.interpretation

Class QueryBasedRelationRewriter

java.lang.Object

tools.refinery.store.reasoning.interpretation.TargetRewriter

tools.refinery.store.reasoning.interpretation.QueryBasedRelationRewriter

All Implemented Interfaces:

PartialRelationRewriter

public class QueryBasedRelationRewriter
extends TargetRewriter

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()
protected Constraint	getTarget(Modality modality, Concreteness concreteness)

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

rewriteLiteral, rewriteTerm

Methods inherited from class java.lang.Object

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

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()

getTarget

protected Constraint getTarget(Modality modality,
 Concreteness concreteness)

Specified by:

getTarget in class TargetRewriter