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

Class TypeHierarchyInitializer

java.lang.Object

tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyInitializer

All Implemented Interfaces:

PartialModelInitializer

public class TypeHierarchyInitializer
extends Object
implements PartialModelInitializer

Constructor Summary

Constructors

Constructor	Description
TypeHierarchyInitializer(TypeHierarchy typeHierarchy, Symbol<InferredType> typeSymbol)

Method Summary

Modifier and Type	Method	Description
void	initialize(Model model, ModelSeed modelSeed)

Methods inherited from class java.lang.Object

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

Constructor Details

TypeHierarchyInitializer

public TypeHierarchyInitializer(TypeHierarchy typeHierarchy,
 Symbol<InferredType> typeSymbol)

Method Details

initialize

public void initialize(Model model,
 ModelSeed modelSeed)

Specified by:

initialize in interface PartialModelInitializer