Module biodivine_sketchbook::algorithms::eval_static::processed_props

Processed variants of static properties for evaluation.

Structs

• ProcessedStatProp
  Processed static property encoded in FOL.

Functions

• process_static_props
  Process static properties from a sketch, converting them into one of the supported ProcessedStatProp variants. Currently, all properties are encoded into FOL, but we might support some other preprocessing in future.