private IsEnvironmentVariable ( AbstractTerm Vn, AbstractMachineState state ) : bool | ||
Vn | AbstractTerm | |
state | AbstractMachineState | |
return | bool |
private bool IsEnvironmentVariable(AbstractTerm Vn, AbstractMachineState state)
{
for (AbstractTerm a = state.E.PermanentVariables; a != null; a = (AbstractTerm)a.Next)
{
if (a == Vn)
{
return true;
}
}
return false;
}