Package tools.refinery.store.reasoning.interpretation

Interface PartialRelationRewriter

All Known Implementing Classes:

OppositeRelationTranslator, PartialRelationTranslatorProxy, QueryBasedRelationRewriter, TargetRewriter

public interface PartialRelationRewriter

Method Summary

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

Method Details

rewriteLiteral

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

rewriteTerm

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