Interface: UnsatisfiableSort
@kortexya/reasoninglayer / UnsatisfiableSort
Interface: UnsatisfiableSort
Section titled “Interface: UnsatisfiableSort”Defined in: src/types/ontology.ts:541
A sort that can never have members.
Properties
Section titled “Properties”disjointPair
Section titled “disjointPair”disjointPair: [
string,string]
Defined in: src/types/ontology.ts:545
The declared disjoint pair that forces it.
sort:
string
Defined in: src/types/ontology.ts:543
The sort derived unsatisfiable.