Closed mschlund closed 11 years ago
Instead of computing the symbolic star once and then plugging in concrete values in each iteration, give the user the option to let J* be recomputed every iteration, but with concrete SR-values.
Instead of computing the symbolic star once and then plugging in concrete values in each iteration, give the user the option to let J* be recomputed every iteration, but with concrete SR-values.