![]() |
Synthia
Generic and flexible data structure generator
|
Objects related to the explanation of results produced by pickers. More...
Classes | |
| class | Explanation |
| Constructs an explanation graph for the output produced by a picker. More... | |
| class | NthSuccessiveOutput |
| A Part pointing to the n-th output produced by a picker since its last call to reset(). More... | |
Objects related to the explanation of results produced by pickers.