Power set: Difference between revisions

Content added Content deleted

Inline

@@ Line 123: / Line 123: @@
 <lang Ada>
-with ada.text_io, Ada.Command_Line;
+with Ada.Text_IO, Ada.Command_Line;
+use Ada.Text_IO, Ada.Command_Line;
 procedure powerset is
@@ Line 131: / Line 132: @@
     first : boolean := true;
   begin
-    Ada.Text_IO.put ("{");
+    Put ("{");
-    for i in 1..Ada.Command_Line.Argument_Count loop
+    for i in 1..Argument_Count loop
       if k mod 2 = 1 then
         if first then
           first := false;
         else
-          Ada.Text_IO.put (",");
+          Put (",");
         end if;
-        Ada.Text_IO.put (Ada.Command_Line.Argument (i));
+        Put (Argument (i));
       end if;
       k := k / 2; -- we go to the next bit of "set"
     end loop;
-    Ada.Text_IO.put_line("}");
+    Put_Line("}");
   end print_subset;
 begin
-  for i in 0..2**Ada.Command_Line.Argument_Count-1 loop
+  for i in 0..2**Argument_Count-1 loop
       print_subset (i);
   end loop;