C# Class Microsoft.Bek.EvaluationContext

Inheritance: IDisposable

Afficher le fichier Open project: AutomataDotNet/Automata Class Usage Examples

Méthodes publiques

Méthode	Description
Dispose ( ) : void
EvaluationContext ( List progs, TextWriter tw, string bek_js_master_file ) : System

Private Methods

Méthode	Description
GetLocalFunctions ( ) : List
GetSFA ( Identifier name ) : Microsoft.Automata.SFA
GetST ( Identifier name ) : Microsoft.Automata.ST

Method Details

Dispose() public méthode

public Dispose ( ) : void
Résultat	void

EvaluationContext() public méthode

public EvaluationContext ( List progs, TextWriter tw, string bek_js_master_file ) : System
progs	List
tw	System.IO.TextWriter
bek_js_master_file	string
Résultat	System