Module biodivine_sketchbook::algorithms::eval_static::encode

Encode regulations and template properties into FOL.

Functions

• encode_essentiality
  Create a FOL formula encoding that uninterpreted function’s argument (given by the index) has given essentiality.
• encode_monotonicity
  Create a FOL formula encoding that uninterpreted function’s argument (given by the index) has given monotonicity.
• encode_property_in_context
  Create a FOL formula encoding that particular formula must hold if “context” formula holds.
• encode_regulation_essentiality
  Create a FOL formula encoding that a regulation has given essentiality.
• encode_regulation_monotonicity
  Create a FOL formula encoding that a regulation has given monotonicity.