Package tools.refinery.store.reasoning.translator.opposite

Class OppositeRelationTranslator

java.lang.Object

tools.refinery.store.reasoning.translator.opposite.OppositeRelationTranslator

All Implemented Interfaces:

ModelStoreConfiguration, PartialRelationRewriter

public class OppositeRelationTranslator
extends Object
implements ModelStoreConfiguration, PartialRelationRewriter

Constructor Summary

Constructors

Constructor	Description
OppositeRelationTranslator(PartialRelation linkType, PartialRelation opposite)

Method Summary

Modifier and Type	Method	Description
void	apply(ModelStoreBuilder storeBuilder)
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

OppositeRelationTranslator

public OppositeRelationTranslator(PartialRelation linkType,
 PartialRelation opposite)

Method Details

apply

public void apply(ModelStoreBuilder storeBuilder)

Specified by:

apply in interface ModelStoreConfiguration

rewriteLiteral

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

Specified by:

rewriteLiteral in interface PartialRelationRewriter

rewriteTerm

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

Specified by:

rewriteTerm in interface PartialRelationRewriter