Module io.hotmoka.network

Package io.hotmoka.network.updates

Class Summary

Class	Description
ClassTagModel	The model of the class tag of an object.
StateModel	The model of the state of an object: just the set of its updates.
UpdateModel	The model of an update of an object.