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

HashedCellObject

inner class HashedCellObject(var value: Hashed<Value>) : CommitmentProtocolCleartextInterpreter.HashedObject

Constructors

HashedCellObject

fun HashedCellObject(value: Hashed<Value>)

Functions

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

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

Properties

var value: Hashed<Value>