Module org.kink_lang.kink

Package org.kink_lang.kink.internal.program.itreeoptimize.ssafy

package org.kink_lang.kink.internal.program.itreeoptimize.ssafy

Conversion of an itree to SSA - Static Single Assignment - form.

Related Packages

Package	Description
org.kink_lang.kink.internal.program.itreeoptimize	Provides optimizers of itrees.

Class	Description
SsaChecker	Determines whether a fun can be converted to SSA.
SsaChecker.CannotSsafyException	Unchecked exception for an itree which cannot be converted to SSA.
Ssafier	Conversion to static single assignment (SSA) form.
Ssafier.Callback	Callback for conversion.