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

unstable let

Browse Source
This commit is contained in:
elvis
2025-09-17 01:07:09 +02:00
parent d0408682d8
commit eee0439f6e
1 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
execution/src/presets.rs
View File

@ -630,13 +630,12 @@ where
/// Computes the LTS. /// Computes the LTS.
/// equivalent to main_do(digraph, Arcs) or to main_do(advdigraph, Arcs) /// equivalent to main_do(digraph, Arcs) or to main_do(advdigraph, Arcs)
pub fn digraph(system: &mut EvaluatedSystem) -> Result<(), String> { pub fn digraph(system: &mut EvaluatedSystem) -> Result<(), String> {
if let Some(sys) = &system.sys if let (Some(sys), true) = (&system.sys, system.graph.is_none())
&& system.graph.is_none()
{ {
let graph = sys.digraph()?; let graph = sys.digraph()?;
system.graph = Some(graph); system.graph = Some(graph);
} else if let Some(positive) = &system.positive } else if let (Some(positive), true) =
&& system.graph.is_none() (&system.positive, system.graph.is_none())
{ {
let _graph = positive.digraph()?; let _graph = positive.digraph()?;
todo!() todo!()