Package tools.refinery.store.reasoning.interpretation

Interface PartialRelationRewriter

All Known Implementing Classes:

OppositeRelationTranslator, PartialRelationTranslatorProxy, QueryBasedComputedRewriter, QueryBasedRelationRewriter

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface PartialRelationRewriter

Method Summary

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

Method Details

rewriteLiteral

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

rewriteComputed

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