Pavel Yaskevich cdc9810f00 [CSStep] Split SolverStep::take(bool) into setup, take and resume ...

Introduce a notion of `StepState` with some valid transitions,
and split monolithic `take(bool)` into three phases - `setup`, `take`, and
`resume`.

* `setup` - is preliminary state before the step has been taken
            for the first time.

* `take` - represents actual logic of the step, results in either
           step being done or suspended.

* `resume` - `take` might split steps into smaller ones to make
             incremental progress towards the target, which means
             that the main step has to be suspended. `resume` is
             triggered when all of the "follow-up" steps have been
             executed and are "done".

2018-09-15 20:56:46 -07:00

18 KiB

Raw Blame History

View Raw