C# 클래스 MSO.Eval.MSOPopl14

파일 보기 프로젝트 열기: AutomataDotNet/Automata 1 사용 예제들

공개 메소드들

메소드 설명
RunPOPLTests ( ) : void

비공개 메소드들

메소드 설명
RunTest ( System outFile, List phis, int stop1At = 100, int stop2At = 100, int stop3At = 100 ) : void

메소드 상세

RunPOPLTests() 공개 정적인 메소드

public static RunPOPLTests ( ) : void
리턴 void