C# Class RunExperiments.VataParsing

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

Méthodes publiques

Méthode	Description
GetState ( string st, int>.Dictionary names ) : int
GetVataFormatString ( TreeTransducer aut ) : string
ParseVataFile ( string pathFN ) : TreeTransducer
ParseVataFormat ( string vataString ) : TreeTransducer

Method Details

GetState() public static méthode

public static GetState ( string st, int>.Dictionary names ) : int
st	string
names	int>.Dictionary
Résultat	int

GetVataFormatString() public static méthode

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

ParseVataFile() public static méthode

public static ParseVataFile ( string pathFN ) : TreeTransducer
pathFN	string
Résultat	TreeTransducer

ParseVataFormat() public static méthode

public static ParseVataFormat ( string vataString ) : TreeTransducer
vataString	string
Résultat	TreeTransducer