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 MergeContextCreate 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