Package tools.refinery.store.reasoning.refinement

Class TypeConstraintRefiner

java.lang.Object

tools.refinery.store.reasoning.refinement.TypeConstraintRefiner

public class TypeConstraintRefiner
extends Object

Constructor Summary

Constructors

Constructor	Description
TypeConstraintRefiner(ReasoningAdapter adapter, PartialRelation sourceType, PartialRelation targetType, Set<PartialRelation> supersets, Set<PartialRelation> oppositeSupersets)

Method Summary

Modifier and Type	Method	Description
boolean	merge(Tuple key)
void	mergeFromSeed(PartialSymbol<TruthValue,Boolean> linkType, ModelSeed modelSeed)

Methods inherited from class java.lang.Object

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

Constructor Details

TypeConstraintRefiner

public TypeConstraintRefiner(ReasoningAdapter adapter,
 PartialRelation sourceType,
 PartialRelation targetType,
 Set<PartialRelation> supersets,
 Set<PartialRelation> oppositeSupersets)

Method Details

merge

public boolean merge(Tuple key)

mergeFromSeed

public void mergeFromSeed(PartialSymbol<TruthValue,Boolean> linkType,
 ModelSeed modelSeed)