fsp.util

Common utility routines for Finite State Projection.

cmepy.fsp.util.grow_domain(domain_states, transitions, depth, validity_test=None)

Returns domain_states grown by depth along transitions.

Resulting states are filtered by the validity_test. By default, only states without a negative coordinate are valid.