D | |
data [State_builder.Ref] |
Type of the referenced value.
|
E | |
elt [Hptset.S] |
The type of the set elements.
|
N | |
nodes [Compute_impact] | |
R | |
reason [Reason_graph] | |
reason_type [Reason_graph] |
Why is a node impacted.
|
result [Compute_impact] | |
T | |
t [Reason_graph.Printer.E] | |
t [Reason_graph.Printer.V] | |
t [Reason_graph.Printer] | |
todo [Compute_impact] | |
todolist [Compute_impact] | |
W | |
worklist [Compute_impact] |
Worklist maintained by the plugin to build its results
|