Package tools.refinery.store.reasoning.interpretation

Class TargetRewriter

java.lang.Object

tools.refinery.store.reasoning.interpretation.TargetRewriter

All Implemented Interfaces:

PartialRelationRewriter

Direct Known Subclasses:

PartialRelationTranslatorProxy, QueryBasedRelationRewriter

public abstract class TargetRewriter
extends Object
implements PartialRelationRewriter

Constructor Summary

Constructors

Constructor	Description
TargetRewriter()

Method Summary

Modifier and Type	Method	Description
protected abstract Constraint	getTarget(Modality modality, Concreteness concreteness)
List<Literal>	rewriteLiteral(Set<Variable> positiveVariables, AbstractCallLiteral literal, Modality modality, Concreteness concreteness)
<T> Term<T>	rewriteTerm(AbstractCallTerm<T> term, Modality modality, Concreteness concreteness)

Methods inherited from class java.lang.Object

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

Constructor Details

TargetRewriter

public TargetRewriter()

Method Details

rewriteLiteral

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

Specified by:

rewriteLiteral in interface PartialRelationRewriter

getTarget

protected abstract Constraint getTarget(Modality modality,
 Concreteness concreteness)

rewriteTerm

public <T> Term<T> rewriteTerm(AbstractCallTerm<T> term,
 Modality modality,
 Concreteness concreteness)

Specified by:

rewriteTerm in interface PartialRelationRewriter