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