public GetChildAccessor ( string symbol, int n ) : |
||
symbol | string | function symbol name |
n | int | must be an integer between 1 and GetChildRank(symbol) |
return |
public FuncDecl GetChildAccessor(string symbol, int n)
{
int id = GetId(symbol);
if (!(1 <= n && n <= ranks[id]))
throw new AutomataException(AutomataExceptionKind.RankedAlphabet_ChildAccessorIsOutOufBounds);
return accessors[id][n];
}