MainSemanticPass

class MainSemanticPass : DefaultVisitor2 {

Solver sv;

bool errorOrWait(N n);

}

Members

Functions

errorOrWait bool errorOrWait(N n): This function implements the core logic of the semantic evaluation.

Meta

Source

See Implementation

dil semantic Pass classes