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