- java.lang.Object
-
- io.hotmoka.network.updates.StateModel
-
public class StateModel extends Object
The model of the state of an object: just the set of its updates.
-
-
Field Summary
Fields Modifier and Type Field Description List<UpdateModel>updates
-
Constructor Summary
Constructors Constructor Description StateModel()StateModel(Stream<Update> state)Builds the model of the given state of an object.
-
-
-
Field Detail
-
updates
public List<UpdateModel> updates
-
-