Class QueryBasedRelationRewriter
java.lang.Object
tools.refinery.store.reasoning.interpretation.QueryBasedRelationRewriter
- All Implemented Interfaces:
PartialRelationRewriter
-
Constructor Summary
ConstructorDescriptionQueryBasedRelationRewriter
(RelationalQuery may, RelationalQuery must, RelationalQuery candidateMay, RelationalQuery candidateMust) -
Method Summary
Modifier and TypeMethodDescriptiongetMay()
getMust()
rewriteLiteral
(Set<Variable> positiveVariables, AbstractCallLiteral literal, Modality modality, Concreteness concreteness)
-
Constructor Details
-
QueryBasedRelationRewriter
public QueryBasedRelationRewriter(RelationalQuery may, RelationalQuery must, RelationalQuery candidateMay, RelationalQuery candidateMust)
-
-
Method Details
-
getMay
-
getMust
-
getCandidateMay
-
getCandidateMust
-
rewriteLiteral
public List<Literal> rewriteLiteral(Set<Variable> positiveVariables, AbstractCallLiteral literal, Modality modality, Concreteness concreteness) - Specified by:
rewriteLiteral
in interfacePartialRelationRewriter
-