interpreter/io.github.aplcornell.viaduct.backend.commitment/CommitmentProtocolCleartextInterpreter/HashedVectorObject

HashedVectorObject

inner class HashedVectorObject(val size: Int, defaultValue: Hashed<Value>) : CommitmentProtocolCleartextInterpreter.HashedObject

Constructors

Link copied to clipboard
fun HashedVectorObject(size: Int, defaultValue: Hashed<Value>)

Functions

Link copied to clipboard
open override fun query(query: QueryNameNode, arguments: List<AtomicExpressionNode>): Hashed<Value>
Link copied to clipboard
open override fun update(update: UpdateNameNode, arguments: List<AtomicExpressionNode>)

Properties

Link copied to clipboard
val size: Int