DICE API Documentation/com.embabel.dice.proposition.revision/RevisionResult/Generalized

Generalized

data class Generalized(val proposition: Proposition, val generalizes: List<Proposition>) : RevisionResult

Stored as a new proposition that generalizes existing ones

Constructors

Link copied to clipboard
constructor(proposition: Proposition, generalizes: List<Proposition>)

Properties

Link copied to clipboard
Link copied to clipboard