Some last minute style changes.

Author: daemontus

src/bin/bench_reach.rs

@@ -15,7 +15,7 @@ fn main() {
         model.num_parameters()
     );
 
-    let stg = SymbolicAsyncGraph::new(&model.clone()).unwrap();
+    let stg = SymbolicAsyncGraph::new(&model).unwrap();
 
     let mut universe = stg.mk_unit_colored_vertices();
     while !universe.is_empty() {

src/bin/bench_trap_spaces_minimal.rs

@@ -6,7 +6,7 @@ fn main() {
     let args = std::env::args().collect::<Vec<_>>();
     let bn = BooleanNetwork::try_from_file(args[1].as_str()).unwrap();
     let ctx = SymbolicSpaceContext::new(&bn);
-    let stg = SymbolicAsyncGraph::with_space_context(&bn.clone(), &ctx).unwrap();
+    let stg = SymbolicAsyncGraph::with_space_context(&bn, &ctx).unwrap();
 
     let unit_set = ctx.mk_unit_colored_spaces(&stg);
     let essential_traps = TrapSpaces::essential_symbolic(&bn, &ctx, &unit_set);

src/symbolic_async_graph/_impl_symbolic_async_graph.rs

@@ -405,7 +405,7 @@ impl SymbolicAsyncGraph {
             return None;
         }
 
-        let new_context = self.symbolic_context.eliminate(variable);
+        let new_context = self.symbolic_context.eliminate_network_variable(variable);
 
         // State variables should not matter that much in the unit set, we can just erase it. The important
         // part is that we use the new symbolic context.

src/symbolic_async_graph/_impl_symbolic_context.rs

@@ -164,7 +164,7 @@ impl SymbolicContext {
     /// by the eliminated variable. However, you cannot access them using the normal methods
     /// (e.g. [SymbolicContext::get_extra_state_variable]), only through the full list
     /// (i.e. [SymbolicContext::all_extra_state_variables]).
-    pub fn eliminate(&self, variable: VariableId) -> SymbolicContext {
+    pub fn eliminate_network_variable(&self, variable: VariableId) -> SymbolicContext {
         let index = variable.to_index();
         let mut result = self.clone();
         // Remove the variable from all variable-indexed lists. The symbolic variables still remain in the