steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

boolean-expr: shorten some code

factor-shell
Alexander Iljin 2018-01-22 03:12:32 +01:00
parent f0f2214448
commit 68ddc03e22
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
extra/boolean-expr/boolean-expr.factor
View File

@ -67,7 +67,7 @@ METHOD: satisfiable? { ⊥ } drop f ;
! See if there is a term along with its negation in the conjunction seq. ! See if there is a term along with its negation in the conjunction seq.
: (satisfiable?) ( seq -- ? ) : (satisfiable?) ( seq -- ? )
[ \ ¬ instance? ] partition swap [ x>> ] map intersect empty? ; [ ¬? ] partition swap [ x>> ] map intersect empty? ;
METHOD: satisfiable? { □ } METHOD: satisfiable? { □ }
dnf [ (satisfiable?) ] any? ; dnf [ (satisfiable?) ] any? ;