Function biodivine_sketchbook::algorithms::eval_dynamic::encode::mk_formula_trap_space

pub fn mk_formula_trap_space(sub_space: &str) -> String

Create a formula describing that a sub-space (observation) is a trap space.

FORALL x. JUMP x. ({sub_space} => ~(EX ~({sub_space})))

Argument sub_space is a formula describing the sub-space of interest.