scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

functions: Add list->sbf.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-07-14 23:37:38 +02:00
parent ac0f90ce23
commit bf45cf6382
1 changed files with 9 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
functions.rkt
View file

@ -40,7 +40,8 @@
[tbf-tabulate* (-> (listof tbf?) (listof (listof (or/c 0 1))))] [tbf-tabulate* (-> (listof tbf?) (listof (listof (or/c 0 1))))]
[tbf-tabulate (-> tbf? (listof (listof (or/c 0 1))))] [tbf-tabulate (-> tbf? (listof (listof (or/c 0 1))))]
[tbf-tabulate*/boolean (-> (listof tbf?) (listof (listof boolean?)))] [tbf-tabulate*/boolean (-> (listof tbf?) (listof (listof boolean?)))]
[sbf (-> (vectorof number?) tbf?)]) [sbf (-> (vectorof number?) tbf?)]
[list->sbf (-> (listof number?) sbf?)])
;; Predicates ;; Predicates
(contract-out (contract-out
[sbf? (-> any/c boolean?)])) [sbf? (-> any/c boolean?)]))
@ -383,3 +384,10 @@
(module+ test (module+ test
(check-equal? (sbf #(1 -1)) (tbf '#(1 -1) 0))) (check-equal? (sbf #(1 -1)) (tbf '#(1 -1) 0)))
;;; Converts a list of numbers to an SBF. The elements of the list
;;; are taken to be the weights of the SBF.
(define list->sbf (compose sbf list->vector))
(module+ test
(check-equal? (list->sbf '(1 -1)) (tbf '#(1 -1) 0)))