Package tools.refinery.store.reasoning.translator.proxy

Class PartialRelationTranslatorProxy

java.lang.Object

tools.refinery.store.reasoning.interpretation.TargetRewriter

tools.refinery.store.reasoning.translator.proxy.PartialRelationTranslatorProxy

All Implemented Interfaces:

ModelStoreConfiguration, PartialRelationRewriter

public class PartialRelationTranslatorProxy
extends TargetRewriter
implements ModelStoreConfiguration

Constructor Summary

Constructors

Constructor	Description
PartialRelationTranslatorProxy(PartialRelation partialRelation, PartialRelation targetRelation, boolean mutable)

Method Summary

Modifier and Type	Method	Description
void	apply(ModelStoreBuilder storeBuilder)
protected Constraint	getTarget(Modality modality, Concreteness concreteness)

Methods inherited from class tools.refinery.store.reasoning.interpretation.TargetRewriter

rewriteLiteral, rewriteTerm

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PartialRelationTranslatorProxy

public PartialRelationTranslatorProxy(PartialRelation partialRelation,
 PartialRelation targetRelation,
 boolean mutable)

Method Details

apply

public void apply(ModelStoreBuilder storeBuilder)

Specified by:

apply in interface ModelStoreConfiguration

getTarget

protected Constraint getTarget(Modality modality,
 Concreteness concreteness)

Specified by:

getTarget in class TargetRewriter