C# Class LambdaCalculus.AbstractionTerm

Inheritance: ITerm

显示文件 Open project: EFanZh/EFanZh

Public Methods

Method	Description
AbstractionTerm ( string token, ITerm body ) : System.Collections.Generic
Apply ( ITerm expression ) : ITerm
Evaluate ( ITerm>.IDictionary environment ) : ITerm
GetFreeVariables ( ) : string[]
Substitute ( string variable, ITerm expression ) : ITerm
ToString ( ) : string

Method Details

AbstractionTerm() public method

public AbstractionTerm ( string token, ITerm body ) : System.Collections.Generic
token	string
body	ITerm
return	System.Collections.Generic

Apply() public method

public Apply ( ITerm expression ) : ITerm
expression	ITerm
return	ITerm

Evaluate() public method

public Evaluate ( ITerm>.IDictionary environment ) : ITerm
environment	ITerm>.IDictionary
return	ITerm

GetFreeVariables() public method

public GetFreeVariables ( ) : string[]
return	string[]

Substitute() public method

public Substitute ( string variable, ITerm expression ) : ITerm
variable	string
expression	ITerm
return	ITerm

ToString() public method

public ToString ( ) : string
return	string