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
FixedType	getExpressionType(Expr expr)
TypedModule	getOrComputeTypes(Problem problem)
FixedType	getVariableType(Variable variable)

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)

getExpressionType

public FixedType getExpressionType(Expr expr)

getVariableType

public FixedType getVariableType(Variable variable)