diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2026-02-06 17:19:26 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2026-02-06 17:19:26 +1300 |
| commit | 6bced91bd28f860d830dfda921ee5056ec93f48c (patch) | |
| tree | a91432226dbf11ed944cfe50507e0b7a03870bd2 /test/repeat.adb | |
| parent | 9b964acdb0cc36d09193861b8f7d33aea248ee46 (diff) | |
Evaluation algorithm changed to inverted interleaved depth first search
Diffstat (limited to 'test/repeat.adb')
| -rw-r--r-- | test/repeat.adb | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/test/repeat.adb b/test/repeat.adb deleted file mode 100644 index 0eec066..0000000 --- a/test/repeat.adb +++ /dev/null @@ -1,46 +0,0 @@ - - --- Programmed by Jedidiah Barber --- Licensed under the Sunset License v1.0 - --- See license.txt for further details - - -with - - Ada.Text_IO, - Kompsos.Pretty_Print; - - -procedure Repeat is - - package TIO renames Ada.Text_IO; - - - package InKomp is new Kompsos (Integer); - use InKomp; - - package Printer is new InKomp.Pretty_Print (Integer'Image); - - - Relation : Goal := Empty_Goal; - - A : constant Term := Relation.Fresh; - B : constant Term := Relation.Fresh; - -begin - - TIO.Put_Line ("Test program to check whether Recurse is working properly."); - TIO.Put_Line ("There should be 5 results, all identical."); - - TIO.New_Line; - - Relation := Disjunct (Relation.Unify (A, 1), Relation.Unify (B, 2)); - Relation.Unify (A, 3); - Relation.Recurse; - - TIO.Put_Line (Printer.Image (Relation.Run (5))); - -end Repeat; - - |