diff options
| -rw-r--r-- | test/boolnum.adb | 57 | ||||
| -rw-r--r-- | tests.gpr | 2 |
2 files changed, 59 insertions, 0 deletions
diff --git a/test/boolnum.adb b/test/boolnum.adb new file mode 100644 index 0000000..0539594 --- /dev/null +++ b/test/boolnum.adb @@ -0,0 +1,57 @@ + + +-- Programmed by Jedidiah Barber +-- Licensed under the Sunset License v1.0 + +-- See license.txt for further details + + +with + + Ada.Text_IO, + Kompsos.Math, + Kompsos.Pretty_Print; + + +procedure Boolnum is + + package TIO renames Ada.Text_IO; + + + package BKomp is new Kompsos (Boolean); + use BKomp; + + package Math is new BKomp.Math (False, True); + + package Printer is new BKomp.Pretty_Print (Boolean'Image); + + + Relation : Goal := Empty_Goal; + + Four : constant Term := Math.Build (4); + Five : constant Term := Math.Build (5); + Nine : constant Term := Math.Build (9); + + Sum : constant Term := Relation.Fresh; + Product : constant Term := Relation.Fresh; + + Result : State; + +begin + + TIO.Put_Line ("Demonstration of arithmetic using boolean zero and one elements."); + TIO.New_Line; + + Math.Add (Relation, Five & Nine & Sum); + Math.Multiply (Relation, Four & Five & Product); + + Result := Relation.Run; + + TIO.Put_Line (Printer.Image (Five) & " + " & Printer.Image (Nine) & + " = " & Printer.Image (Sum.Resolve (Result))); + TIO.Put_Line (Printer.Image (Four) & " * " & Printer.Image (Five) & + " = " & Printer.Image (Product.Resolve (Result))); + +end Boolnum; + + @@ -18,6 +18,7 @@ project Tests is for Main use ("ab.adb", "addsubo.adb", + "boolnum.adb", "divo.adb", "expo.adb", "fivesix.adb", @@ -31,6 +32,7 @@ project Tests is package Builder is for Executable ("ab.adb") use "ab"; for Executable ("addsubo.adb") use "addsubo"; + for Executable ("boolnum.adb") use "boolnum"; for Executable ("divo.adb") use "divo"; for Executable ("expo.adb") use "expo"; for Executable ("fivesix.adb") use "fivesix"; |