Engine trace

The engine trace dialog is currently designed to output the trace of a formula verification. However, it has been designed to be expanded in the future to show the trace of other operations as well. All the operations of a formula verification are stored as follow :

private class FormulaElement
1. the formula object evaluated
2. the result from the formula evaluation
3. first intermediary result, if any (NOT, OR, AND)
4. second intermediary result, if any (AND, OR)

When adding a formula element, its depth must be specified, as well as its index representing the evaluation order. These enable the engine trace dialog to sort these operations using a minimum amount of time. The graphical trace is using a formula tree representation, while adding lines to link the results to the formula expressions.

Three type of representation can be used for displaying trace. These three examples display the trace of the following formula :
((<action4>[0.0]T)AND(<action2>[0.0]<action4>[0.0]T))OR((<action1>[0.0]T)OR(<action3>[0.2]T))

Also see :
Data package, Generator package, Logic Package, Engine