C# Class RunExperiments.DTAMINParsing

Afficher le fichier Open project: AutomataDotNet/Automata

Méthodes publiques

Méthode	Description
FromTimbukToDTAMIN ( string pathFN ) : string
GetDTAMINFormatString ( TreeTransducer aut ) : string
RunGeneration ( ) : void
RunLargeGeneration ( ) : void

Private Methods

Méthode	Description
RunLargeGenerationForGivenSize ( int K, string path ) : void

Method Details

FromTimbukToDTAMIN() public static méthode

public static FromTimbukToDTAMIN ( string pathFN ) : string
pathFN	string
Résultat	string

GetDTAMINFormatString() public static méthode

public static GetDTAMINFormatString ( TreeTransducer aut ) : string
aut	TreeTransducer
Résultat	string

RunGeneration() public static méthode

public static RunGeneration ( ) : void
Résultat	void

RunLargeGeneration() public static méthode

public static RunLargeGeneration ( ) : void
Résultat	void