diff --git a/README.org b/README.org index 7c11869..870e7c9 100644 --- a/README.org +++ b/README.org @@ -87,6 +87,12 @@ interaction with Org-mode. (define-pbf my-pbf (or (and (not :Go) :new-x) (and :Go :old-x))) #+END_SRC +*** TODO Implement =monotone?= + =monotone?= would verify whether a given Boolean function is + monotone according to the definition in the book /Boolean + Functions: Theory, Algorithms, and Applications/ by Crama + and Hammer. + *** TODO Split =networks= into general networks and threshold Boolean networks *** TODO Submit =update-graph= to =stchang= *** TODO Implement the BN \to RS conversion