Skip to content

Interface: CreateGoalResponse

@kortexya/reasoninglayer


@kortexya/reasoninglayer / CreateGoalResponse

Defined in: src/types/inference.ts:1285

Response from creating a saved goal.

clauseCount: number

Defined in: src/types/inference.ts:1294

Number of clauses in the goal.


constraintCount: number

Defined in: src/types/inference.ts:1296

Number of constraint clauses added.


goal: PsiTermDto

Defined in: src/types/inference.ts:1292

The full goal as a PsiTermDto.


goalId: string

Defined in: src/types/inference.ts:1290

The id of the saved goal, for listGoals / getGoal / deleteGoal. It names a saved goal, not a fact in the knowledge base.