C# Class MSO.Eval.MSOPopl14

Afficher le fichier Open project: AutomataDotNet/Automata Class Usage Examples

Méthodes publiques

Méthode Description
RunPOPLTests ( ) : void

Private Methods

Méthode Description
RunTest ( System outFile, List phis, int stop1At = 100, int stop2At = 100, int stop3At = 100 ) : void

Method Details

RunPOPLTests() public static méthode

public static RunPOPLTests ( ) : void
Résultat void