Function biodivine_sketchbook::sketchbook::properties::shortcuts::mk_hctl_prop

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

Shorthand to get a generic dynamic property with HCTL formula. Chosen name is generic and annotation is empty.