The Solver drives the semantic analysis. It can register nodes whose analysis have been postponed.
Node a waits for Node b to be resolved.
Called when a node has been resolved.
Dependency set between nodes.
The number of nodes resolved in this iteration.
See Implementation
The Solver drives the semantic analysis. It can register nodes whose analysis have been postponed.