C# Class RunExperiments.VataParsing

显示文件 Open project: AutomataDotNet/Automata Class Usage Examples

Public Methods

Method	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 method

public static GetState ( string st, int>.Dictionary names ) : int
st	string
names	int>.Dictionary
return	int

GetVataFormatString() public static method

public static GetVataFormatString ( TreeTransducer aut ) : string
aut	TreeTransducer
return	string

ParseVataFile() public static method

public static ParseVataFile ( string pathFN ) : TreeTransducer
pathFN	string
return	TreeTransducer

ParseVataFormat() public static method

public static ParseVataFormat ( string vataString ) : TreeTransducer
vataString	string
return	TreeTransducer