From 5812c75e376e61bb4b1090bd70910abc86006037 Mon Sep 17 00:00:00 2001 From: elvis Date: Thu, 28 Aug 2025 23:10:30 +0200 Subject: [PATCH] Fixed links in documentation --- src/rsprocess/bisimilarity/bisimilarity_kanellakis_smolka.rs | 2 +- src/rsprocess/bisimilarity/bisimilarity_paige_tarkan.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/rsprocess/bisimilarity/bisimilarity_kanellakis_smolka.rs b/src/rsprocess/bisimilarity/bisimilarity_kanellakis_smolka.rs index 83e7204..ef283f8 100644 --- a/src/rsprocess/bisimilarity/bisimilarity_kanellakis_smolka.rs +++ b/src/rsprocess/bisimilarity/bisimilarity_kanellakis_smolka.rs @@ -1,6 +1,6 @@ //! Bisimilarity by Kanellakis and Smolka from The algorithmics of bisimilarity //! by Luca Aceto, Anna Ingolfsdottir and JirĂ­ Srba; pages 105 to 110 -//! https://doi.org/10.1017/CBO9780511792588.004 +//! use std::collections::{BTreeSet, HashMap, HashSet}; diff --git a/src/rsprocess/bisimilarity/bisimilarity_paige_tarkan.rs b/src/rsprocess/bisimilarity/bisimilarity_paige_tarkan.rs index e5dd59b..d3bc9ad 100644 --- a/src/rsprocess/bisimilarity/bisimilarity_paige_tarkan.rs +++ b/src/rsprocess/bisimilarity/bisimilarity_paige_tarkan.rs @@ -1,6 +1,6 @@ //! Bisimilarity by Paige and Tarjan from Three Partition Refinement Algorithms //! by Robert Paige L., Robert Endre Tarjan; pages 977 to 983 -//! https://doi.org/10.1137/0216062 +//! use std::cell::RefCell; use std::collections::hash_map::Entry;