elvis/ReactionSystemsGUI
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Dot and GraphML output for positive graphs

Browse Source
This commit is contained in:
elvis
2025-10-28 22:21:43 +01:00
parent 41a3b0c601
commit efc08a2f3a
2 changed files with 134 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
reaction_systems_gui/src/app.rs
View File

@ -456,18 +456,6 @@ impl NodeInstruction {
("graph", PositiveGraph),
("grouping", PositiveGroupFunction),
],
| Self::PositiveDot => vec![
("graph", PositiveGraph),
("display node", DisplayNode),
("display edge", DisplayEdge),
("color node", ColorNode),
("color edge", ColorEdge),
],
| Self::PositiveGraphML => vec![
("graph", PositiveGraph),
("display node", DisplayNode),
("display edge", DisplayEdge),
],
| Self::PositiveBisimilarityKanellakisSmolka => vec![
("first graph", PositiveGraph),
("second graph", PositiveGraph),
@ -483,6 +471,18 @@ impl NodeInstruction {
("second graph", PositiveGraph),
("group", PositiveAssertFunction),
],
| Self::PositiveDot => vec![
("graph", PositiveGraph),
("display node", DisplayNode),
("display edge", DisplayEdge),
("color node", ColorNode),
("color edge", ColorEdge),
],
| Self::PositiveGraphML => vec![
("graph", PositiveGraph),
("display node", DisplayNode),
("display edge", DisplayEdge),
],
}
.into_iter()
.map(|e| (e.0.to_string(), e.1))