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

fix

Browse Source
This commit is contained in:
elvis
2025-11-18 15:36:46 +01:00
parent c77d4b095b
commit 36e5acb1ad
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
reaction_systems_gui/src/app.rs
View File

@ -1078,11 +1078,11 @@ impl NodeTemplateTrait for NodeInstruction {
| Self::ColorEdge => "Color edge function", | Self::ColorEdge => "Color edge function",
| Self::BisimilarityKanellakisSmolka => "Bisimilarity Kanellakis & Smolka", | Self::BisimilarityKanellakisSmolka => "Bisimilarity Kanellakis & Smolka",
| Self::BisimilarityPaigeTarjanNoLabels => "Bisimilarity Paige & Tarjan (ignore labels)",
| Self::BisimilarityPaigeTarjan => "Bisimilarity Paige & Tarjan",
| Self::PositiveBisimilarityKanellakisSmolka => "Bisimilarity Kanellakis & Smolka for Positive RS", | Self::PositiveBisimilarityKanellakisSmolka => "Bisimilarity Kanellakis & Smolka for Positive RS",
| Self::PositiveBisimilarityPaigeTarjanNoLabels => "Paige & Torjan (ignore labels) for Positive RS", | Self::BisimilarityPaigeTarjan => "Bisimilarity Paige & Tarjan",
| Self::PositiveBisimilarityPaigeTarjan => "Paige & Torjan for Positive RS", | Self::PositiveBisimilarityPaigeTarjan => "Bisimilarity Paige & Torjan for Positive RS",
| Self::BisimilarityPaigeTarjanNoLabels => "Bisimilarity Paige & Tarjan (ignore labels)",
| Self::PositiveBisimilarityPaigeTarjanNoLabels => "Bisimilarity Paige & Torjan (ignore labels) for Positive RS",
| Self::AssertFunction => "Create relabeling edge function", | Self::AssertFunction => "Create relabeling edge function",
| Self::PositiveAssertFunction => "Create relabeling edge function for Positive RS", | Self::PositiveAssertFunction => "Create relabeling edge function for Positive RS",