Package tools.refinery.store.reasoning.translator.predicate

Class BasePredicateTranslator

java.lang.Object

tools.refinery.store.reasoning.translator.predicate.BasePredicateTranslator

All Implemented Interfaces:

ModelStoreConfiguration

public class BasePredicateTranslator
extends Object
implements ModelStoreConfiguration

Constructor Summary

Constructors

Constructor	Description
BasePredicateTranslator(PartialRelation predicate, List<PartialRelation> parameterTypes, Set<PartialRelation> supersets, TruthValue defaultValue, ConcretizationSettings concretizationSettings)

Method Summary

Modifier and Type	Method	Description
void	apply(ModelStoreBuilder storeBuilder)

Methods inherited from class java.lang.Object

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

Constructor Details

BasePredicateTranslator

public BasePredicateTranslator(PartialRelation predicate,
 List<PartialRelation> parameterTypes,
 Set<PartialRelation> supersets,
 TruthValue defaultValue,
 ConcretizationSettings concretizationSettings)

Method Details

apply

public void apply(ModelStoreBuilder storeBuilder)

Specified by:

apply in interface ModelStoreConfiguration