PropositionContradicted

data class PropositionContradicted constructor(val contextId: <Error class: unknown class>, val original: Proposition, val new: Proposition, val timestamp: Instant = Instant.now()) : DiceEvent

A new proposition directly contradicts one we already held. Both are handed to listeners so they can decide how to reconcile them.

Constructors

constructor(contextId: <Error class: unknown class>, original: Proposition, new: Proposition, timestamp: Instant = Instant.now())

val contextId: <Error class: unknown class>

The context in which the contradiction surfaced.

The new proposition that contradicts it.

The proposition that already existed.

When the event was created.