TypeAnalysisResult (refinery-store-reasoning 0.1.0 API)

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()

Set<PartialRelation>

getConcreteSubtypesAndSelf()

List<PartialRelation>

getDirectSubtypes()

boolean

isAbstractType()

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()
- isAbstractType
  
  public boolean isAbstractType()
- isVacuous
  
  public boolean isVacuous()
- asInferredType
  
  public InferredType asInferredType()
- isSubtypeOf
  
  public boolean isSubtypeOf(TypeAnalysisResult other)
- merge
  
  public InferredType merge(InferredType inferredType, TruthValue value)