Type Alias: SpaceSearchResponse
@kortexya/reasoninglayer / SpaceSearchResponse
Type Alias: SpaceSearchResponse
Section titled “Type Alias: SpaceSearchResponse”SpaceSearchResponse = {
count:number;kind:"solutions";searchStats?:SearchStatsDto|null;solutions:SpaceSolutionDto[]; } | {kind:"feasibility";searchStats?:SearchStatsDto|null;variables:Record<string,VariableFeasibilityDto>; }
Defined in: src/types/spaces.ts:222
Response from the search endpoint.
Union Members
Section titled “Union Members”Type Literal
Section titled “Type Literal”{ count: number; kind: "solutions"; searchStats?: SearchStatsDto | null; solutions: SpaceSolutionDto[]; }
count:
number
Number of solutions found.
kind:
"solutions"
Discriminator — always "solutions" for this variant.
searchStats?
Section titled “searchStats?”
optionalsearchStats?:SearchStatsDto|null
Search statistics.
solutions
Section titled “solutions”solutions:
SpaceSolutionDto[]
Enumerated complete assignments.
Type Literal
Section titled “Type Literal”{ kind: "feasibility"; searchStats?: SearchStatsDto | null; variables: Record<string, VariableFeasibilityDto>; }
kind:
"feasibility"
Discriminator — always "feasibility" for this variant.
searchStats?
Section titled “searchStats?”
optionalsearchStats?:SearchStatsDto|null
Solver statistics for the feasibility queries.
variables
Section titled “variables”variables:
Record<string,VariableFeasibilityDto>
Per-variable reachability. Key is the variable name as registered in the space’s choice points.
Remarks
Section titled “Remarks”Discriminated union on kind. Always read kind first:
"solutions": standard enumeration result withsolutionsandcount."feasibility": per-variable reachability map invariables.