TypeHierarchy (refinery-store-reasoning 0.1.0 API)

java.lang.Object

tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchy

public class TypeHierarchy extends Object

Method Summary

Modifier and Type

Method

Description

static TypeHierarchyBuilder

builder()

Set<PartialRelation>

getAllTypes()

TypeAnalysisResult

getAnalysisResult(PartialRelation type)

Map<PartialRelation,PartialRelation>

getEliminatedTypes()

Map<PartialRelation,TypeAnalysisResult>

getPreservedTypes()

InferredType

getUnknownType()

boolean

isEmpty()

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- isEmpty
  
  public boolean isEmpty()
- getUnknownType
  
  public InferredType getUnknownType()
- getAllTypes
  
  public Set<PartialRelation> getAllTypes()
- getPreservedTypes
  
  public Map<PartialRelation,TypeAnalysisResult> getPreservedTypes()
- getEliminatedTypes
  
  public Map<PartialRelation,PartialRelation> getEliminatedTypes()
- getAnalysisResult
  
  public TypeAnalysisResult getAnalysisResult(PartialRelation type)
- builder
  
  public static TypeHierarchyBuilder builder()