fsp.support_expander

A solution-support based domain expansion routine for the FSP algorithm.

class cmepy.fsp.support_expander.SupportExpander(transitions, depth, epsilon)

An FSP expander that expands states around the solution support.

The domain is expanded to include all states reachable using the given transitions, up to the given depth, from the states that are contained in the support of a compressed epsilon approximation of the current solution.

expand(**kwargs)

Returns expanded domain states