Uses of Class
convex.core.MergeContext
Packages that use MergeContext
-
Uses of MergeContext in convex.core
Methods in convex.core that return MergeContextModifier and TypeMethodDescriptionstatic MergeContext
Create a MergeContextPeer.getMergeContext()
Gets a MergeContext for this PeerMergeContext.withTimestamp
(long newTimestamp) Updates the timestamp of this MergeContextMethods in convex.core with parameters of type MergeContextModifier and TypeMethodDescriptionBelief.merge
(MergeContext mc, Belief... beliefs) The Belief merge function