compiler/io.github.aplcornell.viaduct.passes/MuxPostprocessor

MuxPostprocessor

class MuxPostprocessor(val containedProtocolCheck: (Protocol) -> Boolean, val selection: ProtocolAssignment) : ProgramPostprocessor

Constructors

Link copied to clipboard
fun MuxPostprocessor(containedProtocolCheck: (Protocol) -> Boolean, selection: ProtocolAssignment)

Types

Link copied to clipboard
object Companion

Functions

Link copied to clipboard
fun mux(block: BlockNode, nameAnalysis: NameAnalysis, nameGenerator: FreshNameGenerator = block.freshVariableNameGenerator()): BlockNode
Link copied to clipboard
open override fun postprocess(program: ProgramNode): ProgramNode

Properties

Link copied to clipboard
Link copied to clipboard