DICE API Documentation/com.embabel.dice.spi/RetiredProposition/RetiredProposition

RetiredProposition

constructor(propositionId: String, priorStatus: PropositionStatus, foldedGrounding: List<String> = emptyList(), foldedProvenanceRefs: List<String> = emptyList(), foldedSourceIds: List<String> = emptyList(), foldedProvenanceEvidenceKeys: List<String> = emptyList())