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

WireOp

data class WireOp(val op: Operator, val inputs: List<WireTerm>) : WireTerm

Constructors

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

Properties

val inputs: List<WireTerm>

val op: Operator

Extensions

fun WireTerm.asString(): String

fun WireTerm.eval(): Int

fun WireTerm.hash(): String

fun WireTerm.normalize(counter: NormalizeCounter): WireTerm

fun WireTerm.toR1CS(isProver: Boolean, is_eq_to: Int): R1CS

fun WireTerm.wireName(): String