Module io.hotmoka.network

Package io.hotmoka.network.updates

package io.hotmoka.network.updates
  • Classes
    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.