[cps] [space] [subway] SubwaySpace

- Node = Station - Edge = `TakeLine: { oldStation, line, newStation }`
cicada-lang · Aug 25, 2024 · 334aedb · 334aedb
1 parent 1bf1726
commit 334aedb
Show file tree

Hide file tree

Showing 5 changed files with 13 additions and 5 deletions.
diff --git a/TODO.md b/TODO.md
@@ -1,7 +1,4 @@
-[cps] [space] [subway] `SubwaySpace` & `createSubwaySpace`
-
-- Node = Station
-- Edge = `TakeLine: { oldStation, line, newStation }`
+[cps] [space] [subway] `createSubwaySpace`
 
 [cps] [space] add debug options
 

diff --git a/src/problems/subway/Subway.ts b/src/problems/subway/Subway.ts
@@ -1,5 +1,5 @@
-export type LineId = string
 export type StationId = string
+export type LineId = string
 
 export type Position = { x: number; y: number }
 

diff --git a/src/problems/subway/SubwaySpace.ts b/src/problems/subway/SubwaySpace.ts
@@ -0,0 +1,10 @@
+import { type Space } from "../../solvers/cps"
+import { type LineId, type Station, type StationId } from "./Subway.js"
+
+export type TakeLine = {
+  start: StationId
+  line: LineId
+  end: StationId
+}
+
+export type SubwaySpace = Space<Station, TakeLine>
diff --git a/src/problems/subways/bostonSubway.ts → src/problems/subway/bostonSubway.ts b/src/problems/subways/bostonSubway.ts → src/problems/subway/bostonSubway.ts
diff --git a/src/problems/subway/index.ts b/src/problems/subway/index.ts
@@ -1 +1,2 @@
 export * from "./Subway.js"
+export * from "./SubwaySpace.js"
Original file line number	Diff line number	Diff line change
		@@ -1 +1,2 @@
		export * from "./Subway.js"
		export * from "./SubwaySpace.js"