Runs the algorithm to compute all sets F(x) as described in the class
documentation. Caller provides a <code>transitionEnumerator</code> to
realize the digraph's edge relation E, and a
<code>setOperator</code> to realize the necessary set computations.
@param nodes The nodes of the digraph
@param transitionEnumerator provides digraph edges
@param setOperator realizes set computations
Runs the algorithm to compute all sets F(x) as described in the class documentation. Caller provides a <code>transitionEnumerator</code> to realize the digraph's edge relation E, and a <code>setOperator</code> to realize the necessary set computations.
@param nodes The nodes of the digraph @param transitionEnumerator provides digraph edges @param setOperator realizes set computations