Axiom.Runtime.Instructions.UnifyLocalValueInstruction.IsEnvironmentVariable C# (CSharp) Метод

        private bool IsEnvironmentVariable(AbstractTerm Vn, AbstractMachineState state)
        {
            // required, otherwise it will crash
            if (state.E == null)
                return false;

            for (AbstractTerm a = state.E.PermanentVariables; a != null; a = (AbstractTerm)a.Next)
            {
                if (a == Vn)
                {
                    return true;
                }
            }
            return false;
        }