Module biodivine_sketchbook::algorithms::eval_static

Evaluation of static properties (by either FO logic evaluator or special procedures).

Modules

• encode
  Encode regulations and template properties into FOL.
• eval
  Evaluate all kinds static properties.
• prepare_graph
  Prepare graph and symbolic context to handle all static properties.
• processed_props
  Processed variants of static properties for evaluation.