Zander671/truth-table
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add a cap to th number of variables supported

Browse Source
This commit is contained in:
Alexander Rosenberg
2025-12-20 16:35:32 -08:00
parent 65970adfe1
commit 7f6872c0ea
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
table.lisp
View File

@ -38,6 +38,10 @@
collect (cons (cons var nil) entry)) collect (cons (cons var nil) entry))
finally (return (mapcar 'reverse perms)))) finally (return (mapcar 'reverse perms))))
(defconstant +maximum-variables+ 12
"The maximum number of variables allowed when including variables in the table
output.")
(defun create-truth-table (prop &key (vars (discover-variables prop)) (defun create-truth-table (prop &key (vars (discover-variables prop))
(include-intermediate t) (include-vars t)) (include-intermediate t) (include-vars t))
"Evaluate PROP with all possible combinations of truth values for its "Evaluate PROP with all possible combinations of truth values for its
@ -49,6 +53,10 @@ if it is excluded, `discover-variables' will be used to generate it."
((null vars) ((null vars)
(list (list (cons prop (eval-proposition prop '()))))) (list (list (cons prop (eval-proposition prop '())))))
(t (t
(when (> (length vars) +maximum-variables+)
(error 'proposition-eval-error
:message (format nil "Got ~A variables when the max is ~A"
(length vars) +maximum-variables+)))
(loop for perm in (permute-variables vars) (loop for perm in (permute-variables vars)
for (value sub-map) = (multiple-value-list for (value sub-map) = (multiple-value-list
(eval-proposition prop perm)) (eval-proposition prop perm))