DICE API Documentation/com.embabel.dice.common/PropositionMerged

PropositionMerged

data class PropositionMerged constructor(val original: Proposition, val revised: Proposition, val timestamp: Instant = Instant.now()) : DiceEvent

An incoming proposition was folded into one we already had, producing a combined version.

Constructors

PropositionMerged

constructor(original: Proposition, revised: Proposition, timestamp: Instant = Instant.now())

Properties

val original: Proposition

The proposition that already existed.

val revised: Proposition

The combined result after the merge.

open val timestamp: Instant

When the event was created.