SsaExtension extension

Extension to build SSA from a CFG.

on

Methods

toSsa([List<Variable>? parameters]) ControlFlowGraph

Available on ControlFlowGraph, provided by the SsaExtension extension

Converts this CFG to SSA form.