Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

When A is asked as top goal, both C and B are added to the goal list of Quaestor. Thus both both C and B should be determined.

In the Workbase this is shown by the fact that (for the example) for both B and C values are request to the user while they do not depent on each other. When the following values are given:

...