Previous topic  Top  Next topic  Print this Topic
 

Rule Graph

 

The Hierarchy tab shows the query and all of the rules that are involved during evaluation in a tree structure. The Internal axioms are also displayed here:

clip0161

The Graph tab displays the same information in a graph:

clip0162