//Generate the tree definition corresponding to a ranked alphabet
private static bool GenerateTreeClass(Dictionary<string, Def> defs, FastTransducerInstance fti, RankedAlphabetSort ras)
{
//Create a new tree definition
TreeClassDef treeDef = new TreeClassDef(ras, z3p);
fti.treeDefinitions.Add(ras.alphName, treeDef);
return true;
}
