| … | … | @@ -121,14 +121,14 @@ |
| 121 | 121 | |
| 122 | 122 | ; Should be absent in the next level. |
| 123 | 123 | (cog-set-atomspace! mid1-space) |
| 124 | (test-assert "mid1-absent" (nil? (cog-node 'Concept "foo"))) | |
| 124 | (test-assert "mid1-absent" (not (cog-node 'Concept "foo"))) | |
| 125 | 125 | |
| 126 | 126 | (cog-set-atomspace! mid2-space) |
| 127 | 127 | (test-assert "mid2-space" (cog-atom? (cog-node 'Concept "foo"))) |
| 128 | 128 | (test-equal "mid2-tv" 5 (get-cnt (cog-node 'Concept "foo"))) |
| 129 | 129 | |
| 130 | 130 | (cog-set-atomspace! mid3-space) |
| 131 | (test-assert "mid3-absent" (nil? (cog-node 'Concept "foo"))) | |
| 131 | (test-assert "mid3-absent" (not (cog-node 'Concept "foo"))) | |
| 132 | 132 | |
| 133 | 133 | (cog-set-atomspace! surface-space) |
| 134 | 134 | (test-assert "surface-space" (cog-atom? (cog-node 'Concept "foo"))) |
| … | … | @@ -228,7 +228,7 @@ |
| 228 | 228 | |
| 229 | 229 | ; Should be absent in the next level. |
| 230 | 230 | (cog-set-atomspace! mid1-space) |
| 231 | (test-assert "mid1-space" (nil? (cog-node 'Concept "foo"))) | |
| 231 | (test-assert "mid1-space" (not (cog-node 'Concept "foo"))) | |
| 232 | 232 | |
| 233 | 233 | ; Test remaining levels. |
| 234 | 234 | (cog-set-atomspace! mid2-space) |
| … | … | @@ -236,7 +236,7 @@ |
| 236 | 236 | (test-equal "mid2-tv" 4 (get-cnt (cog-node 'Concept "foo"))) |
| 237 | 237 | |
| 238 | 238 | (cog-set-atomspace! mid3-space) |
| 239 | (test-assert "mid3-space" (nil? (cog-node 'Concept "foo"))) | |
| 239 | (test-assert "mid3-space" (not (cog-node 'Concept "foo"))) | |
| 240 | 240 | |
| 241 | 241 | (cog-set-atomspace! surface-space) |
| 242 | 242 | (test-assert "surface-space" (cog-atom? (cog-node 'Concept "foo"))) |
| … | … | @@ -343,7 +343,7 @@ |
| 343 | 343 | |
| 344 | 344 | ; Should be absent in the next level. |
| 345 | 345 | (cog-set-atomspace! mid1-space) |
| 346 | (test-assert "mid1-space" (nil? (cog-node 'Concept "foo"))) | |
| 346 | (test-assert "mid1-space" (not (cog-node 'Concept "foo"))) | |
| 347 | 347 | |
| 348 | 348 | (cog-set-atomspace! mid2-space) |
| 349 | 349 | (test-assert "mid2-space" (cog-atom? (cog-node 'Concept "foo"))) |
| … | … | @@ -352,7 +352,7 @@ |
| 352 | 352 | (ListLink (Concept "foo") (Concept "bar")))) |
| 353 | 353 | |
| 354 | 354 | (cog-set-atomspace! mid3-space) |
| 355 | (test-assert "mid3-space" (nil? (cog-node 'Concept "foo"))) | |
| 355 | (test-assert "mid3-space" (not (cog-node 'Concept "foo"))) | |
| 356 | 356 | |
| 357 | 357 | (cog-set-atomspace! surface-space) |
| 358 | 358 | (test-assert "surface-space" (cog-atom? (cog-node 'Concept "foo"))) |
| … | … | @@ -136,7 +136,7 @@ |
| 136 | 136 | (define mid1-space top-space) |
| 137 | 137 | (define base-space (cog-outgoing-atom mid1-space 0)) |
| 138 | 138 | |
| 139 | (test-assert "lily-gone" (nil? (cog-link 'ListLink | |
| 139 | (test-assert "lily-gone" (not (cog-link 'ListLink | |
| 140 | 140 | (Concept "foo") (Concept "bar")))) |
| 141 | 141 | |
| 142 | 142 | ; Verify appropriate atomspace membership |
| … | … | @@ -104,10 +104,10 @@ |
| 104 | 104 | |
| 105 | 105 | ; ---------------------------------- |
| 106 | 106 | (cog-set-atomspace! mid2-space) |
| 107 | (test-assert "no-link-2" (nil? | |
| 107 | (test-assert "no-link-2" (not | |
| 108 | 108 | (cog-link 'List (Concept "foo") (Concept "bar")))) |
| 109 | (test-assert "link-2fa" (not (nil? | |
| 110 | (cog-link 'List (Concept "foo") (Concept "faa"))))) | |
| 109 | (test-assert "link-2fa" (cog-atom? | |
| 110 | (cog-link 'List (Concept "foo") (Concept "faa")))) | |
| 111 | 111 | (test-equal "foo2-space" base-space (cog-atomspace (cog-node 'Concept "foo"))) |
| 112 | 112 | (test-equal "bar2-space" base-space (cog-atomspace (cog-node 'Concept "bar"))) |
| 113 | 113 |
| … | … | @@ -104,7 +104,7 @@ |
| 104 | 104 | |
| 105 | 105 | ; ---------------------------------- |
| 106 | 106 | (cog-set-atomspace! mid2-space) |
| 107 | (test-assert "no-link-2" (nil? | |
| 107 | (test-assert "no-link-2" (not | |
| 108 | 108 | (cog-link 'List (Concept "foo") (Concept "bar")))) |
| 109 | 109 | (test-equal "foo2-space" mid2-space (cog-atomspace (cog-node 'Concept "foo"))) |
| 110 | 110 | (test-equal "bar2-space" base-space (cog-atomspace (cog-node 'Concept "bar"))) |
| … | … | @@ -106,7 +106,7 @@ |
| 106 | 106 | |
| 107 | 107 | ; ---------------------------------- |
| 108 | 108 | (cog-set-atomspace! mid2-space) |
| 109 | (test-assert "no-link-2" (nil? | |
| 109 | (test-assert "no-link-2" (not | |
| 110 | 110 | (cog-link 'List (Concept "foo") (Concept "bar")))) |
| 111 | 111 | (test-equal "foo2-space" mid2-space (cog-atomspace (cog-node 'Concept "foo"))) |
| 112 | 112 | (test-equal "bar2-space" base-space (cog-atomspace (cog-node 'Concept "bar"))) |
| … | … | @@ -93,39 +93,39 @@ |
| 93 | 93 | |
| 94 | 94 | ; Verify that atoms appear and disappear properly. |
| 95 | 95 | (cog-set-atomspace! base-space) |
| 96 | (test-assert "yes-even-0" (not (nil? (cog-node 'Concept "even")))) | |
| 97 | (test-assert "no-odd-0" (nil? (cog-node 'Concept "odd"))) | |
| 96 | (test-assert "yes-even-0" (cog-atom? (cog-node 'Concept "even"))) | |
| 97 | (test-assert "no-odd-0" (not (cog-node 'Concept "odd"))) | |
| 98 | 98 | (test-equal "even-0 as" base-space (cog-atomspace (cog-node 'Concept "even"))) |
| 99 | 99 | |
| 100 | 100 | (cog-set-atomspace! mid1-space) |
| 101 | (test-assert "yes-even-1" (not (nil? (cog-node 'Concept "even")))) | |
| 102 | (test-assert "yes-odd-1" (not (nil? (cog-node 'Concept "odd")))) | |
| 101 | (test-assert "yes-even-1" (cog-atom? (cog-node 'Concept "even"))) | |
| 102 | (test-assert "yes-odd-1" (cog-atom? (cog-node 'Concept "odd"))) | |
| 103 | 103 | (test-equal "even-1 as" base-space (cog-atomspace (cog-node 'Concept "even"))) |
| 104 | 104 | (test-equal "odd-1 as" mid1-space (cog-atomspace (cog-node 'Concept "odd"))) |
| 105 | 105 | |
| 106 | 106 | (cog-set-atomspace! mid2-space) |
| 107 | (test-assert "no-even-2" (nil? (cog-node 'Concept "even"))) | |
| 108 | (test-assert "yes-odd-2" (not (nil? (cog-node 'Concept "odd")))) | |
| 107 | (test-assert "no-even-2" (not (cog-node 'Concept "even"))) | |
| 108 | (test-assert "yes-odd-2" (cog-atom? (cog-node 'Concept "odd"))) | |
| 109 | 109 | (test-equal "odd-2 as" mid1-space (cog-atomspace (cog-node 'Concept "odd"))) |
| 110 | 110 | |
| 111 | 111 | (cog-set-atomspace! mid3-space) |
| 112 | (test-assert "no-even-3" (nil? (cog-node 'Concept "even"))) | |
| 113 | (test-assert "no-odd-3" (nil? (cog-node 'Concept "odd"))) | |
| 112 | (test-assert "no-even-3" (not (cog-node 'Concept "even"))) | |
| 113 | (test-assert "no-odd-3" (not (cog-node 'Concept "odd"))) | |
| 114 | 114 | |
| 115 | 115 | (cog-set-atomspace! mid4-space) |
| 116 | (test-assert "yes-even-4" (not (nil? (cog-node 'Concept "even")))) | |
| 117 | (test-assert "no-odd-4" (nil? (cog-node 'Concept "odd"))) | |
| 116 | (test-assert "yes-even-4" (cog-atom? (cog-node 'Concept "even"))) | |
| 117 | (test-assert "no-odd-4" (not (cog-node 'Concept "odd"))) | |
| 118 | 118 | (test-equal "even-4 as" mid4-space (cog-atomspace (cog-node 'Concept "even"))) |
| 119 | 119 | |
| 120 | 120 | (cog-set-atomspace! mid5-space) |
| 121 | (test-assert "yes-even-5" (not (nil? (cog-node 'Concept "even")))) | |
| 122 | (test-assert "yes-odd-5" (not (nil? (cog-node 'Concept "odd")))) | |
| 121 | (test-assert "yes-even-5" (cog-atom? (cog-node 'Concept "even"))) | |
| 122 | (test-assert "yes-odd-5" (cog-atom? (cog-node 'Concept "odd"))) | |
| 123 | 123 | (test-equal "even-5 as" mid4-space (cog-atomspace (cog-node 'Concept "even"))) |
| 124 | 124 | (test-equal "odd-5 as" mid5-space (cog-atomspace (cog-node 'Concept "odd"))) |
| 125 | 125 | |
| 126 | 126 | (cog-set-atomspace! top-space) |
| 127 | (test-assert "yes-even-6" (not (nil? (cog-node 'Concept "even")))) | |
| 128 | (test-assert "yes-odd-6" (not (nil? (cog-node 'Concept "odd")))) | |
| 127 | (test-assert "yes-even-6" (cog-atom? (cog-node 'Concept "even"))) | |
| 128 | (test-assert "yes-odd-6" (cog-atom? (cog-node 'Concept "odd"))) | |
| 129 | 129 | (test-equal "even-6 as" mid4-space (cog-atomspace (cog-node 'Concept "even"))) |
| 130 | 130 | (test-equal "odd-6 as" mid5-space (cog-atomspace (cog-node 'Concept "odd"))) |
| 131 | 131 | ) |