MKV: Incremental Equation Solving
Equations are solved incrementally as each variable becomes defined by
correspondence to application data.
- A set of simple, redundant equations is used.
- A simple equation solver is used.
- Buttons for variables that can be solved are removed from
the diagram, preventing redundant specification.
- Variables are solved as soon as possible, which tends to
give efficient code.