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