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

PropositionGeneralized

data class PropositionGeneralized constructor(val proposition: Proposition, val generalizes: List<Proposition>, val timestamp: Instant = Instant.now()) : DiceEvent

A higher-level proposition was formed that generalizes over a group of more specific ones.

Constructors

PropositionGeneralized

constructor(proposition: Proposition, generalizes: List<Proposition>, timestamp: Instant = Instant.now())

Properties

val generalizes: List<Proposition>

The specific propositions it summarizes.

val proposition: Proposition

The abstract proposition that was formed.

open val timestamp: Instant

When the event was created.