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