Interface: FcaSearchSummary
@kortexya/reasoninglayer / FcaSearchSummary
Interface: FcaSearchSummary
Section titled “Interface: FcaSearchSummary”Defined in: src/types/analysis.ts:39
Resource accounting for one native formal-concept enumeration.
Remarks
Section titled “Remarks”Only complete: true (stopReason exhausted) means every concept was
enumerated. output_limit, visited_limit, work_limit and cancelled
stop the search early; its results are then partial.
Properties
Section titled “Properties”complete
Section titled “complete”complete:
boolean
Defined in: src/types/analysis.ts:41
Whether the enumeration was exhausted.
emittedConcepts
Section titled “emittedConcepts”emittedConcepts:
number
Defined in: src/types/analysis.ts:47
Concepts emitted.
stopReason
Section titled “stopReason”stopReason:
string
Defined in: src/types/analysis.ts:43
Why the enumeration stopped (exhausted when complete).
visitedConcepts
Section titled “visitedConcepts”visitedConcepts:
number
Defined in: src/types/analysis.ts:45
Closed sets inspected.
work:
number
Defined in: src/types/analysis.ts:49
Native work units spent.