This is the first version that may do what it is supposed to. Starting to debug.
Prepared the cost file reading for Jim's changes.
pre-merge
Merge remote-tracking branch 'jimsBranches/TwoDimensionalCostMinimization' into TwoDimensionalCostMinimization
Total rewrite of the whole GR(1) game solving part and strategy generation. All the x_mem, y_mem variables and the like are now gone. Strategies are based on transitions rather than states. May be smaller, buy is much cleaner.
Going-home commit. Synthesized non-optimized strategy right now and may be merged.
The first version of the two-dimensional cost minimizer that works - at least it does so on the one example that I have. Thus, I'm handing over to Jim for testing purposes.
Strategy now minimizes the number of waiting phases in case an infinite accumulated transition cost is unavoidable.
Weight-based optimization is back in place