Module biodivine_sketchbook::sketchbook::model::_function_tree

(internal) Definition and utility methods for FnTree.

Enums

• FnTree
  Syntactic tree of a partially defined Boolean function. This might specify an update function, or a partially defined uninterpreted fn.

Functions

• parse_update_fn_wrapper 🔒
  A wrapper function for parsing update function formulas with extended error message. See [FnUpdate::try_from_str] for details.