C# Class Algebra.QL.TypeCheck.Expr.GreaterOrEqualToExpr

Inheritance: BinaryExpr, ITypeCheckExpr
ファイルを表示 Open project: software-engineering-amsterdam/poly-ql

Public Methods

Method Description
GreaterOrEqualToExpr ( ITypeCheckExpr l, ITypeCheckExpr r ) : System
TypeCheck ( ITypeEnvironment env ) : ITypeCheckType

Method Details

GreaterOrEqualToExpr() public method

public GreaterOrEqualToExpr ( ITypeCheckExpr l, ITypeCheckExpr r ) : System
l ITypeCheckExpr
r ITypeCheckExpr
return System

TypeCheck() public method

public TypeCheck ( ITypeEnvironment env ) : ITypeCheckType
env ITypeEnvironment
return ITypeCheckType