MuxPostprocessor
class MuxPostprocessor(containedProtocolCheck: (Protocol) -> Boolean, selection: ProtocolAssignment) : ProgramPostprocessor
Content copied to clipboard
Types
Functions
mux
Link copied to clipboard
fun mux(block: BlockNode, nameAnalysis: NameAnalysis, nameGenerator: FreshNameGenerator = block.freshVariableNameGenerator()): BlockNode
Content copied to clipboard
postprocess
Link copied to clipboard