C# Class RunExperiments.DTAMINParsing

Show file Open project: AutomataDotNet/Automata

Public Methods

Method	Description
FromTimbukToDTAMIN ( string pathFN ) : string
GetDTAMINFormatString ( TreeTransducer aut ) : string
RunGeneration ( ) : void
RunLargeGeneration ( ) : void

Private Methods

Method	Description
RunLargeGenerationForGivenSize ( int K, string path ) : void

Method Details

FromTimbukToDTAMIN() public static method

public static FromTimbukToDTAMIN ( string pathFN ) : string
pathFN	string
return	string

GetDTAMINFormatString() public static method

public static GetDTAMINFormatString ( TreeTransducer aut ) : string
aut	TreeTransducer
return	string

RunGeneration() public static method

public static RunGeneration ( ) : void
return	void

RunLargeGeneration() public static method

public static RunLargeGeneration ( ) : void
return	void