selectByComponents

This commit is contained in:
2021-07-10 16:16:13 -06:00
parent 1c15b2e812
commit 2d8f4cfee7
3 changed files with 10 additions and 2 deletions

View File

@@ -70,4 +70,7 @@
(collect (t.keys))))
(defun tagsMatch [archive e tagsBoolExp]
(BoolExpInterp.eval tagsBoolExp (tagList archive e)))
(BoolExpInterp.eval tagsBoolExp (tagList archive e)))
(defun componentsMatch [:nat.Entry e componentsBoolExp]
(BoolExpInterp.eval componentsBoolExp (for =>cType cId e.components cType)))