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

AlwaysContradictionDetector

object AlwaysContradictionDetector : ConflictDetector

Conservative default ConflictDetector that classifies every clash as a ConflictType.Contradiction. With it installed, conflict classification is a no-op refinement and behaviour matches a reviser with no conflict typing.

Functions

Link copied to clipboard
open override fun detect(incoming: Proposition, existing: Proposition): ConflictType

Classify the conflict between an incoming and an existing proposition.