Interface: OsfqlProveCompletion
@kortexya/reasoninglayer / OsfqlProveCompletion
Interface: OsfqlProveCompletion
Section titled “Interface: OsfqlProveCompletion”Defined in: src/types/osfql.ts:271
The enumeration completeness of one OSFQL PROVE.
Properties
Section titled “Properties”complete
Section titled “complete”complete:
boolean
Defined in: src/types/osfql.ts:279
Whether these are all the solutions the theory entails. false when the
forward pass that answered from facts did not reach its fixpoint: more
answers may exist. It never means the returned answers are doubtful, and
an empty PROVE that cannot be completed is refused with 422
(undetermined) rather than answered with an empty set.
solutions
Section titled “solutions”solutions:
number
Defined in: src/types/osfql.ts:281
Solutions this PROVE answered. Each one is established.