interpreter/io.github.aplcornell.viaduct.backend/WireGenerator

WireGenerator

class WireGenerator

Constructors

fun WireGenerator()

Functions

fun mkConst(v: Int): WireTerm

fun mkDummyIn(hash: List<Byte>, nonce: List<Byte>): WireTerm

fun mkIn(v: Int, hash: List<Byte>, nonce: List<Byte>): WireTerm

fun mkOp(op: Operator, inputs: List<WireTerm>): WireOp