Skip to content

Conversation

@ryukinix
Copy link
Owner

@ryukinix ryukinix commented Mar 4, 2019

That way I can capture the result of truth table by doing:

(defun truth-table (exp) (with-output-to-string (s) (let ((inference:*output-stream* s)) (inference:print-truth-table (inference:infix-to-prefix exp))))) 
That way I can capture the result of truth table by doing: (defun truth-table (exp) (with-output-to-string (s) (let ((inference:*output-stream* s)) (inference:print-truth-table (inference:infix-to-prefix exp)))))
@ryukinix ryukinix merged commit ec38898 into master Mar 4, 2019
@ryukinix ryukinix deleted the output-stream branch March 4, 2019 01:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants