Interface: TerminationDto
@kortexya/reasoninglayer / TerminationDto
Interface: TerminationDto
Section titled “Interface: TerminationDto”Defined in: src/types/analysis.ts:421
Termination half of the rule-base certificate.
Properties
Section titled “Properties”createsNewValues?
Section titled “createsNewValues?”
optionalcreatesNewValues?:boolean|null
Defined in: src/types/analysis.ts:427
Whether a rule invents values that were not in the input.
divergingCycle?
Section titled “divergingCycle?”
optionaldivergingCycle?:string[] |null
Defined in: src/types/analysis.ts:431
The cycle that diverges, when it does not terminate.
maxRecursionDepth?
Section titled “maxRecursionDepth?”
optionalmaxRecursionDepth?:number|null
Defined in: src/types/analysis.ts:429
The deepest recursion the analysis found.
method
Section titled “method”method:
string
Defined in: src/types/analysis.ts:425
How it was decided — e.g. stratified, acyclic, bounded-recursion.
terminates
Section titled “terminates”terminates:
boolean
Defined in: src/types/analysis.ts:423
true iff forward reasoning reaches a fixpoint.