Function biodivine_sketchbook::sketchbook::properties::shortcuts::mk_fol_prop

source ยท 
pub fn mk_fol_prop(formula: &str) -> Result<StatProperty, String>
Expand description

Shorthand to get a generic static property with FOL formula. Chosen name is generic and annotation is empty.