C# 클래스 Algebra.QL.Extensions.TypeCheck.Expr.SumExpr

상속: Algebra.Core.Expr.VarExpr, ITypeCheckExpr
파일 보기 프로젝트 열기: software-engineering-amsterdam/poly-ql

공개 메소드들

메소드 설명
SumExpr ( string name ) : System
TypeCheck ( ITypeEnvironment env ) : ITypeCheckType

메소드 상세

SumExpr() 공개 메소드

public SumExpr ( string name ) : System
name string
리턴 System

TypeCheck() 공개 메소드

public TypeCheck ( ITypeEnvironment env ) : ITypeCheckType
env ITypeEnvironment
리턴 ITypeCheckType