Module biodivine_sketchbook::sketchbook::data_structs::_fn_arg_change_data

source ·
Expand description

(internal) Definition and utility methods for ChangeArgMonotoneData and ChangeArgEssentialData.

Structs§

  • ChangeArgEssentialData
    Structure for receiving data about changes in essentiality of uninterpreted fn’s argument from the frontend.
  • ChangeArgMonotoneData
    Structure for receiving data about changes in monotonicity of uninterpreted fn’s argument from the frontend.