Package tools.refinery.store.reasoning.translator.typehierarchy

Class TypeAnalysisResult

java.lang.Object

tools.refinery.store.reasoning.translator.typehierarchy.TypeAnalysisResult

public final class TypeAnalysisResult
extends Object

Method Summary

Modifier and Type	Method	Description
InferredType	asInferredType()
boolean	canSetTypeWithDecision()
Set<PartialRelation>	getAllSupertypes()
Set<PartialRelation>	getConcreteSubtypesAndSelf()
List<PartialRelation>	getDirectSubtypes()
boolean	isAbstractType()
boolean	isAllowFocusing()
boolean	isSubtypeOf(TypeAnalysisResult other)
boolean	isVacuous()
InferredType	merge(InferredType inferredType, TruthValue value)
PartialRelation	type()

Methods inherited from class java.lang.Object

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

Method Details

type

public PartialRelation type()

getDirectSubtypes

public List<PartialRelation> getDirectSubtypes()

getConcreteSubtypesAndSelf

public Set<PartialRelation> getConcreteSubtypesAndSelf()

getAllSupertypes

public Set<PartialRelation> getAllSupertypes()

isAbstractType

public boolean isAbstractType()

isVacuous

public boolean isVacuous()

canSetTypeWithDecision

public boolean canSetTypeWithDecision()

isAllowFocusing

public boolean isAllowFocusing()

asInferredType

public InferredType asInferredType()

isSubtypeOf

public boolean isSubtypeOf(TypeAnalysisResult other)

merge

public InferredType merge(InferredType inferredType,
 TruthValue value)