MuxPostprocessor

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

Types

Companion
Link copied to clipboard
object Companion

Functions

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

Properties

containedProtocolCheck
Link copied to clipboard
val containedProtocolCheck: (Protocol) -> Boolean
selection
Link copied to clipboard
val selection: ProtocolAssignment