Interface: CreateGoalResponse
@kortexya/reasoninglayer / Inference / CreateGoalResponse
Interface: CreateGoalResponse
Defined in: src/types/inference.ts:485
Response from creating a saved goal.
Properties
clauseCount
clauseCount:
number
Defined in: src/types/inference.ts:491
Number of clauses in the goal.
constraintCount
constraintCount:
number
Defined in: src/types/inference.ts:493
Number of constraint clauses added.
goal
goal:
PsiTermDto
Defined in: src/types/inference.ts:489
The full goal as a PsiTermDto.
goalId
goalId:
string
Defined in: src/types/inference.ts:487
The created goal’s unique TermId.