runtime/edu.cornell.cs.apl.viaduct.backend.commitment/CommitmentProtocolCleartextInterpreter/HashedVectorObject

HashedVectorObject

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

Functions

query

open override fun query(query: QueryNameNode, arguments: List<AtomicExpressionNode>): Hashed<Value>

update

open override fun update(update: UpdateNameNode, arguments: List<AtomicExpressionNode>)

Properties

size