Skip to content

Commit e0d3961

Browse files
committed
feat: add strategy nodes into the problem graph view
1 parent 6263f32 commit e0d3961

5 files changed

Lines changed: 296 additions & 13 deletions

File tree

Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
import { createContext, ReactNode, useContext, useState } from "react";
2+
import { MetaSolverStrategyDto } from "../../../api/strategy/data-model/MetaSolverStrategyDto";
3+
import { strategyApi } from "../../../api/strategy/StrategyAPI";
4+
5+
interface StrategiesMap {
6+
[key: string]: MetaSolverStrategyDto[];
7+
}
8+
9+
// This is a React context that globally gives access to the solvers that are available for a given problem type
10+
// Using the useMetaSolverStrategies() context hook in a component will give you access to the solvers and a function
11+
// to fetch them for the first time - they will be cached in the context for future use
12+
const StrategyContext = createContext<{
13+
strategies: StrategiesMap;
14+
getStrategies: (problemTypeId: string) => Promise<MetaSolverStrategyDto[]>;
15+
}>({
16+
strategies: {},
17+
getStrategies: () => Promise.resolve([]),
18+
});
19+
20+
export const useMetaSolverStrategies = () => useContext(StrategyContext);
21+
22+
export const StrategyProvider = (props: { children: ReactNode }) => {
23+
const [strategies, setStrategies] = useState<StrategiesMap>({});
24+
25+
// Function to get solvers, either from cache or by fetching
26+
const getStrategies = async (problemTypeId: string) => {
27+
const cachedSolvers = strategies[problemTypeId];
28+
if (cachedSolvers) {
29+
return cachedSolvers;
30+
} else {
31+
const strategies = await strategyApi.listStrategies(problemTypeId);
32+
setStrategies((previous) => ({
33+
...previous,
34+
[problemTypeId]: strategies,
35+
}));
36+
return strategies;
37+
}
38+
};
39+
40+
return (
41+
<StrategyContext.Provider value={{ strategies, getStrategies }}>
42+
{props.children}
43+
</StrategyContext.Provider>
44+
);
45+
};

src/components/solvers/Graph/ProblemGraphView.tsx

Lines changed: 88 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -19,16 +19,20 @@ import {
1919
useNodesState,
2020
} from "reactflow";
2121
import "reactflow/dist/style.css";
22+
import { MetaSolverStrategyDto } from "../../../api/strategy/data-model/MetaSolverStrategyDto";
23+
import { strategyApi } from "../../../api/strategy/StrategyAPI";
2224
import { ProblemDto } from "../../../api/toolbox/data-model/ProblemDto";
2325
import { ProblemSolverInfo } from "../../../api/toolbox/data-model/ProblemSolverInfo";
2426
import { ProblemState } from "../../../api/toolbox/data-model/ProblemState";
2527
import { SubRoutineDefinitionDto } from "../../../api/toolbox/data-model/SubRoutineDefinitionDto";
2628
import { SubRoutineReferenceDto } from "../../../api/toolbox/data-model/SubRoutineReferenceDto";
2729
import { toolboxApi } from "../../../api/toolbox/ToolboxAPI";
2830
import { SolutionView } from "../SolutionView";
31+
import { useMetaSolverStrategies } from "./MetaSolverStrategyProvider";
2932
import { LevelInfo, ProblemNode, ProblemNodeData } from "./ProblemNode";
30-
import { SolverNode } from "./SolverNode";
33+
import { SolverNode, SolverNodeData } from "./SolverNode";
3134
import { useSolvers } from "./SolverProvider";
35+
import { StrategyNode, StrategyNodeData } from "./StrategyNode";
3236

3337
interface ProblemEdgeData {
3438
sourceProblemDto: ProblemDto<any>;
@@ -76,7 +80,7 @@ function getChildNodes(
7680
typeId?: string
7781
): Node[] {
7882
return nodes.filter((n) => {
79-
if (n.type !== "problemNode") return false;
83+
if (n.type !== "problemNode" && n.type !== "strategyNode") return false;
8084
if (!n.id.startsWith(parentNode.id)) return false;
8185

8286
const subString = n.id.substring(parentNode.id.length + 1);
@@ -126,10 +130,13 @@ function groupBySolver(problemDtos: ProblemDto<any>[]) {
126130

127131
const nodeTypes: NodeTypes = {
128132
solverNode: SolverNode,
133+
strategyNode: StrategyNode,
129134
problemNode: ProblemNode,
130135
};
131136
const solverNodeIdentifier: string = "-solver-node-";
132137
const solverEdgeIdentifier: string = "-solver-edge-";
138+
const strategyNodeIdentifier: string = "-strategy-node-";
139+
const strategyEdgeIdentifier: string = "-strategy-edge-";
133140

134141
export interface GraphUpdateProps {
135142
updateProblem: (problemId: string) => void;
@@ -151,6 +158,7 @@ export const ProblemGraphView = (props: ProblemGraphViewProps) => {
151158
const solutionViewRef = useRef<HTMLDivElement>(null);
152159

153160
const { getSolvers } = useSolvers();
161+
const { getStrategies } = useMetaSolverStrategies();
154162

155163
/**
156164
* Node updates are scheduled in order to provide an asynchronous update mechanism.
@@ -226,15 +234,79 @@ export const ProblemGraphView = (props: ProblemGraphViewProps) => {
226234

227235
const createSolverNodes = useCallback(
228236
(node: Node<ProblemNodeData>) => {
237+
getStrategies(node.data.problemDtos[0].typeId).then((strategies) => {
238+
console.log("strategies", strategies);
239+
for (let i = 0; i < strategies.length; i++) {
240+
let strategyNodeId =
241+
node.id + strategyNodeIdentifier + strategies[i].id.toString();
242+
243+
const strategyNode: Node<StrategyNodeData> = {
244+
id: strategyNodeId,
245+
data: {
246+
strategy: strategies[i],
247+
selectCallback: (strategy: MetaSolverStrategyDto) => {
248+
let edge = edges.find((e) =>
249+
e.target.startsWith(node.id + strategyEdgeIdentifier)
250+
);
251+
if (edge) {
252+
updateEdge(edge);
253+
}
254+
255+
Promise.all(
256+
node.data.problemDtos.map((problemDto) =>
257+
strategyApi.executeStrategy(strategy.id, problemDto.id)
258+
)
259+
).then((results) => {
260+
setNodes((previousNodes) =>
261+
previousNodes.map((n) => {
262+
if (n.id !== node.id) return n;
263+
264+
let updatedNode: Node<ProblemNodeData> = {
265+
...n,
266+
data: {
267+
...n.data,
268+
problemDtos: results
269+
.map((r) => r.result)
270+
.filter(
271+
(dto): dto is ProblemDto<any> => dto !== undefined
272+
),
273+
},
274+
};
275+
scheduleNodeUpdate(updatedNode);
276+
277+
return updatedNode;
278+
})
279+
);
280+
});
281+
},
282+
},
283+
position: {
284+
x:
285+
node.position.x +
286+
getNodePositionX({ index: i, count: strategies.length }),
287+
y: getNodePositionY(node.data.level + 1.5),
288+
},
289+
type: "strategyNode",
290+
};
291+
292+
addNode(strategyNode);
293+
294+
addEdge({
295+
id: node.id + solverEdgeIdentifier + strategyNodeId,
296+
type: "step",
297+
source: node.id,
298+
target: strategyNodeId,
299+
});
300+
}
301+
});
229302
getSolvers(node.data.problemDtos[0].typeId).then((solvers) => {
230303
for (let i = 0; i < solvers.length; i++) {
231304
let solverId =
232305
node.id + solverNodeIdentifier + solvers[i].id.toString();
233306

234-
addNode({
307+
const solverNode: Node<SolverNodeData> = {
235308
id: solverId,
236309
data: {
237-
problemIds: node.data.problemDtos.map((x) => x.id),
238310
problemSolver: solvers[i],
239311
selectCallback: (problemSolver: ProblemSolverInfo) => {
240312
let edge = edges.find((e) =>
@@ -277,7 +349,9 @@ export const ProblemGraphView = (props: ProblemGraphViewProps) => {
277349
y: getNodePositionY(node.data.level + 1),
278350
},
279351
type: "solverNode",
280-
});
352+
};
353+
354+
addNode(solverNode);
281355

282356
addEdge({
283357
id: node.id + solverEdgeIdentifier + solverId,
@@ -293,6 +367,7 @@ export const ProblemGraphView = (props: ProblemGraphViewProps) => {
293367
addNode,
294368
edges,
295369
getSolvers,
370+
getStrategies,
296371
scheduleNodeUpdate,
297372
setNodes,
298373
updateEdge,
@@ -303,11 +378,17 @@ export const ProblemGraphView = (props: ProblemGraphViewProps) => {
303378
(node: Node<ProblemNodeData>) => {
304379
setNodes((previousNodes) =>
305380
previousNodes.filter(
306-
(n) => !n.id.startsWith(node.id + solverNodeIdentifier)
381+
(n) =>
382+
!n.id.startsWith(node.id + solverNodeIdentifier) &&
383+
!n.id.startsWith(node.id + strategyNodeIdentifier)
307384
)
308385
);
309386
setEdges((edges) =>
310-
edges.filter((e) => !e.id.startsWith(node.id + solverEdgeIdentifier))
387+
edges.filter(
388+
(e) =>
389+
!e.id.startsWith(node.id + solverEdgeIdentifier) &&
390+
!e.id.startsWith(node.id + strategyEdgeIdentifier)
391+
)
311392
);
312393
},
313394
[setEdges, setNodes]
Lines changed: 58 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,58 @@
1+
import { Box, VStack } from "@chakra-ui/react";
2+
import { Handle, NodeProps, Position } from "reactflow";
3+
import { MetaSolverStrategyDto } from "../../../api/strategy/data-model/MetaSolverStrategyDto";
4+
import { StrategyNodeContent } from "./StrategyNodeContent";
5+
6+
export interface StrategyNodeData {
7+
strategy: MetaSolverStrategyDto;
8+
selectCallback: (strategy: MetaSolverStrategyDto) => void;
9+
}
10+
11+
export function StrategyNode(props: NodeProps<StrategyNodeData>) {
12+
return (
13+
<Box
14+
cursor="default"
15+
border="1px"
16+
borderRadius="10px"
17+
padding=".5rem"
18+
background="cornflowerblue"
19+
fontSize="xs"
20+
css={{
21+
"&::before, &::after": {
22+
content: '""',
23+
position: "absolute",
24+
borderBottomRightRadius: "5px",
25+
borderBottomLeftRadius: "5px",
26+
left: "50%",
27+
top: "-0.2px",
28+
width: "15px",
29+
height: "8px",
30+
background: "white",
31+
borderLeft: "1px solid black",
32+
borderRight: "1px solid black",
33+
borderBottom: "1px solid black",
34+
zIndex: 10,
35+
},
36+
"&::before": {
37+
transform: "translate(calc(-50% - 50px), -4%)",
38+
},
39+
"&::after": {
40+
transform: "translate(calc(-50% + 50px), -4%)",
41+
},
42+
}}
43+
>
44+
<Handle type="target" position={Position.Top} />
45+
<VStack gap="0px" minWidth="120px">
46+
<StrategyNodeContent
47+
strategy={props.data.strategy}
48+
button={{
49+
label: "Solve via Strategy",
50+
callback: () => {
51+
props.data.selectCallback(props.data.strategy);
52+
},
53+
}}
54+
/>
55+
</VStack>
56+
</Box>
57+
);
58+
}
Lines changed: 96 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,96 @@
1+
import {
2+
Button,
3+
HStack,
4+
Popover,
5+
PopoverArrow,
6+
PopoverBody,
7+
PopoverCloseButton,
8+
PopoverContent,
9+
PopoverFooter,
10+
PopoverHeader,
11+
PopoverTrigger,
12+
Portal,
13+
Text,
14+
Tooltip,
15+
VStack,
16+
} from "@chakra-ui/react";
17+
import { ReactNode } from "react";
18+
import { FaQuestionCircle } from "react-icons/fa";
19+
import { PiGraph } from "react-icons/pi";
20+
import { MetaSolverStrategyDto } from "../../../api/strategy/data-model/MetaSolverStrategyDto";
21+
22+
export interface StrategyNodeContentProps {
23+
strategy: MetaSolverStrategyDto;
24+
button: {
25+
label: ReactNode;
26+
callback?: () => void;
27+
};
28+
}
29+
30+
export const StrategyNodeContent = (props: StrategyNodeContentProps) => {
31+
return (
32+
<VStack gap="0px">
33+
<HStack align="start" maxW="10rem" justifyContent="space-between" gap="0">
34+
<Tooltip hasArrow label="Strategy" placement="bottom">
35+
<div>
36+
<PiGraph size="2rem" />
37+
</div>
38+
</Tooltip>
39+
<Text padding=".25rem" fontWeight="semibold">
40+
{props.strategy.name}
41+
</Text>
42+
43+
<Popover>
44+
<PopoverTrigger>
45+
<div>
46+
<FaQuestionCircle size="1rem" />
47+
</div>
48+
</PopoverTrigger>
49+
<Portal>
50+
<PopoverContent>
51+
<PopoverArrow />
52+
<PopoverCloseButton />
53+
<PopoverHeader>
54+
<Text fontWeight="semibold">{props.strategy.name}</Text>
55+
</PopoverHeader>
56+
<PopoverBody>
57+
<Text>{props.strategy.code}</Text>
58+
</PopoverBody>
59+
<PopoverFooter>
60+
<Text fontSize="xs">{props.strategy.id}</Text>
61+
</PopoverFooter>
62+
</PopoverContent>
63+
</Portal>
64+
</Popover>
65+
</HStack>
66+
67+
<div
68+
style={{
69+
display: "flex",
70+
justifyContent: "center",
71+
marginTop: "0.5rem",
72+
width: "100%",
73+
}}
74+
>
75+
<Button
76+
bg="kitGreen"
77+
width="100%"
78+
height="25px"
79+
textColor="white"
80+
fontWeight="bold"
81+
fontSize="small"
82+
_hover={{
83+
bg: props.button.callback ? "kitGreenAlpha" : "kitGreen",
84+
}}
85+
border="1px"
86+
borderColor="black"
87+
borderRadius="0.25rem"
88+
paddingY="1px"
89+
onClick={props.button.callback}
90+
>
91+
{props.button.label}
92+
</Button>
93+
</div>
94+
</VStack>
95+
);
96+
};

0 commit comments

Comments
 (0)