C# 클래스 RunExperiments.DTAMINParsing

파일 보기 프로젝트 열기: AutomataDotNet/Automata

공개 메소드들

메소드	설명
FromTimbukToDTAMIN ( string pathFN ) : string
GetDTAMINFormatString ( TreeTransducer aut ) : string
RunGeneration ( ) : void
RunLargeGeneration ( ) : void

비공개 메소드들

메소드	설명
RunLargeGenerationForGivenSize ( int K, string path ) : void

메소드 상세

FromTimbukToDTAMIN() 공개 정적인 메소드

public static FromTimbukToDTAMIN ( string pathFN ) : string
pathFN	string
리턴	string

GetDTAMINFormatString() 공개 정적인 메소드

public static GetDTAMINFormatString ( TreeTransducer aut ) : string
aut	TreeTransducer
리턴	string

RunGeneration() 공개 정적인 메소드

public static RunGeneration ( ) : void
리턴	void

RunLargeGeneration() 공개 정적인 메소드

public static RunLargeGeneration ( ) : void
리턴	void