private GetChoicepointItem ( string item ) : |
||
item | string | |
return |
private AbstractTerm GetChoicepointItem(string item)
{
if (item[0] == 'X')
{
int index = Int32.Parse(item.Remove(0, 1));
return (AbstractTerm)_savedVariables[index];
}
else
{
return null;
}
}