C# Class Microsoft.Bek.EvaluationContext

Inheritance: IDisposable

Mostra file Open project: AutomataDotNet/Automata Class Usage Examples

Public Methods

Method	Description
Dispose ( ) : void
EvaluationContext ( List progs, TextWriter tw, string bek_js_master_file ) : System

Private Methods

Method	Description
GetLocalFunctions ( ) : List
GetSFA ( Identifier name ) : Microsoft.Automata.SFA
GetST ( Identifier name ) : Microsoft.Automata.ST

Method Details

Dispose() public method

public Dispose ( ) : void
return	void

EvaluationContext() public method

public EvaluationContext ( List progs, TextWriter tw, string bek_js_master_file ) : System
progs	List
tw	System.IO.TextWriter
bek_js_master_file	string
return	System