diff options
| author | Carlo Zancanaro <carlo@carlo-laptop> | 2012-08-06 22:58:29 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@carlo-laptop> | 2012-08-06 22:58:29 +1000 |
| commit | 42e729d20000eb141b2907ad83630af34f4afea3 (patch) | |
| tree | e231556126d538d6b61fe099c6245176aeb3df15 /antlr | |
| parent | 77d26a8f2832791587b19351ee1fde207fdda608 (diff) | |
New variation on the equation system solver.
Much simpler to understand. Basically have a variable assignment which
is dynamic and updates with the strategy changes. Similarly have
strategy changes easily invalidate the variable assignment.
This makes them strongly inter-dependent, but simplifies the
implementation considerably. Proving it should be easier like this, too.
Diffstat (limited to 'antlr')
0 files changed, 0 insertions, 0 deletions