runtime/edu.cornell.cs.apl.viaduct.backend/WireTerm

WireTerm

sealed class WireTerm
Content copied to clipboard

Inheritors

WireOp
Link copied to clipboard
WireIn
Link copied to clipboard
WireDummyIn
Link copied to clipboard
WireConst
Link copied to clipboard

Extensions

asString
Link copied to clipboard
fun WireTerm.asString(): String
Content copied to clipboard
eval
Link copied to clipboard
fun WireTerm.eval(): Int
Content copied to clipboard
hash
Link copied to clipboard
fun WireTerm.hash(): String
Content copied to clipboard
normalize
Link copied to clipboard
fun WireTerm.normalize(counter: NormalizeCounter): WireTerm
Content copied to clipboard
toR1CS
Link copied to clipboard
fun WireTerm.toR1CS(isProver: Boolean, is_eq_to: Int): R1CS
Content copied to clipboard
wireName
Link copied to clipboard
fun WireTerm.wireName(): String
Content copied to clipboard