Solver

The Solver drives the semantic analysis. It can register nodes whose analysis have been postponed.

Members

Functions

depends
void depends(Node a, Node b, Scope sc)

Node a waits for Node b to be resolved.

onDone
void onDone(Node n)

Called when a node has been resolved.

Variables

deps
Node[Node] deps;

Dependency set between nodes.

doneCounter
size_t doneCounter;

The number of nodes resolved in this iteration.

Meta