Package tools.refinery.language.typesystem

Class ProblemTypeAnalyzer

java.lang.Object

tools.refinery.language.typesystem.ProblemTypeAnalyzer

public class ProblemTypeAnalyzer
extends Object

Constructor Summary

Constructors

Constructor	Description
ProblemTypeAnalyzer()

Method Summary

Modifier and Type	Method	Description
TypedModule	getOrComputeTypes(Problem problem)

Methods inherited from class java.lang.Object

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

Constructor Details

ProblemTypeAnalyzer

public ProblemTypeAnalyzer()

Method Details

getOrComputeTypes

public TypedModule getOrComputeTypes(Problem problem)