Interface PartialRelationRewriter
- All Known Implementing Classes:
OppositeRelationTranslator
,PartialRelationTranslatorProxy
,QueryBasedRelationRewriter
- Functional Interface:
- This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
-
Method Summary
Modifier and TypeMethodDescriptionrewriteLiteral
(Set<Variable> positiveVariables, AbstractCallLiteral literal, Modality modality, Concreteness concreteness)
-
Method Details
-
rewriteLiteral
List<Literal> rewriteLiteral(Set<Variable> positiveVariables, AbstractCallLiteral literal, Modality modality, Concreteness concreteness)
-