| This symbolic evaluator observer will create all the evaluation paths for a
given evaluator. Note that it is costful to memorize all the evaluation paths
and this observer should not be used on large programs (or programs which are
known to generate a great deal of evaluation paths.
Once the evaluation is done, call
SymbolicEvaluationPathsMaker.getPaths() to get the paths.
|