#16538: FiniteStateMachine.process: follow all paths if machine is non-
deterministic
-------------------------------------+-------------------------------------
       Reporter:  cheuberg           |        Owner:
           Type:  defect             |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.3
      Component:  finite state       |   Resolution:
  machines                           |    Merged in:
       Keywords:                     |    Reviewers:  Clemens Heuberger
  finite_state_machine               |  Work issues:
        Authors:  Daniel Krenn       |       Commit:
Report Upstream:  N/A                |  51d35dc08fc621267d95919eb07bb5017bb653bd
         Branch:  u/dkrenn/fsm       |     Stopgaps:
  /process-iterator-nondet           |
   Dependencies:                     |
-------------------------------------+-------------------------------------
Changes (by cheuberg):

 * reviewer:   => Clemens Heuberger


Comment:

 In an offline proccess, I reviewed several iterations of this rather large
 patch and contributed a few commits with small improvements. I believe
 that the patch does what it is supposed to do; doctests pass;
 documentation builds.

 The documentation, in particular those of the high level methods
 {{{.process}}}, {{{.__call__}}}, {{{.iter_process}}},
 {{{.epsilon_successors}}} and perhaps also of {{{FSMProcessIterator}}},
 {{{FSMProcessIterator.__next__}}} and {{{FSMProcessIterator.results}}}
 should be reviewed independently.

--
Ticket URL: <http://trac.sagemath.org/ticket/16538#comment:4>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to