Interface: ConfluenceConflictDto
@kortexya/reasoninglayer / ConfluenceConflictDto
Interface: ConfluenceConflictDto
Section titled “Interface: ConfluenceConflictDto”Defined in: src/types/analysis.ts:405
The concrete counterexample behind a non-confluent rule base.
Properties
Section titled “Properties”conflictingValues
Section titled “conflictingValues”conflictingValues:
string[]
Defined in: src/types/analysis.ts:415
The two conflicting values the rules derive for the same entity.
cycleRules?
Section titled “cycleRules?”
optionalcycleRules?:string[] |null
Defined in: src/types/analysis.ts:417
For a negative-cycle: the ids of the rules on the cycle.
feature
Section titled “feature”feature:
string
Defined in: src/types/analysis.ts:413
The functional feature the two rules disagree on.
kind:
string
Defined in: src/types/analysis.ts:411
The kind of conflict: functional-dependency-violation, or
negative-cycle (a rule’s absence test depends, through a cycle, on its
own conclusion).