C# Class RunExperiments.FastExperiment

Show file Open project: AutomataDotNet/Automata Class Usage Examples

Public Methods

Method Description
GetFastProg ( string path ) : TreeTransducer
RunTest ( ) : void
SanityCheck ( ) : void

Method Details

GetFastProg() public static method

public static GetFastProg ( string path ) : TreeTransducer
path string
return TreeTransducer

RunTest() public static method

public static RunTest ( ) : void
return void

SanityCheck() public static method

public static SanityCheck ( ) : void
return void