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

HashedCellObject

inner class HashedCellObject(value: 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

value

var value: Hashed<Value>