Skip to content

python: ltsmin.model.kripke should be more flexible

The ap_set argument currently needs to be a sequence of strings (atomic proposition names). We should also allow ap_set to be a sequence of atomic propositions, or directly an atomic_prop_set.