lib/src/parser.rs

@@ -133,13 +133,9 @@ impl std::fmt::Debug for Formula {
 /// Note that the parser can be utilised by an [ADF][`crate::adf::Adf`] to initialise it with minimal overhead.
 #[derive(Debug)]
 pub struct AdfParser {
-    /// A name for each statement (identified by index in vector)
     pub namelist: Arc<RwLock<Vec<String>>>,
-    /// Inverse mapping from name to index of statement in vector above
     pub dict: Arc<RwLock<HashMap<String, usize>>>,
-    /// The formula (acceptance condition) for each statement identified by its index
     pub formulae: RefCell<Vec<Formula>>,
-    /// The formula for each statement identified by its index
     pub formulaname: RefCell<Vec<String>>,
 }
 

server/src/adf.rs

@@ -12,7 +12,7 @@ use actix_web::rt::time::timeout;
 use actix_web::{delete, get, post, put, web, HttpMessage, HttpRequest, HttpResponse, Responder};
 use adf_bdd::datatypes::adf::VarContainer;
 use adf_bdd::datatypes::{BddNode, Term, Var};
-use futures_util::{FutureExt, TryStreamExt};
+use futures_util::{FutureExt, TryFutureExt, TryStreamExt};
 use mongodb::bson::doc;
 use mongodb::bson::{to_bson, Bson};
 use mongodb::results::DeleteResult;