Package io.hotmoka.network.updates


package io.hotmoka.network.updates
  • Classes
    Class
    Description
    The model of the class tag of an object.
    The model of the state of an object: just the set of its updates.
    The model of an update of an object.