From 2c660ff902b276d42770c3034fbd213164e582c6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 11 May 2020 03:39:09 +0200 Subject: [PATCH] Remove unused code --- src/translate/verify_properties.rs | 26 -------------------------- 1 file changed, 26 deletions(-) diff --git a/src/translate/verify_properties.rs b/src/translate/verify_properties.rs index 8b5642a..e3442c1 100644 --- a/src/translate/verify_properties.rs +++ b/src/translate/verify_properties.rs @@ -76,18 +76,6 @@ impl<'p> Translator<'p> log::info!("read input program “{}”", program_path.as_ref().display()); - // TODO: reimplement - /* - for (predicate_declaration, predicate_definitions) in self.definitions.iter() - { - for definition in predicate_definitions.definitions.iter() - { - log::debug!("definition({}/{}): {}.", predicate_declaration.name, - predicate_declaration.arity, - foliage::format::display_formula(&definition.formula, self.problem)); - } - }*/ - let completed_definition = |predicate_declaration, definitions: &mut Definitions, problem: &crate::Problem| { @@ -273,13 +261,6 @@ impl<'p> Translator<'p> formula: definition, }; - // TODO: refactor - // TODO: reimplement - /* - log::debug!("translated rule with single atom in head: {}", - foliage::format::display_formula(&definition.formula, self.problem)); - */ - predicate_definitions.definitions.push(definition); }, HeadType::IntegrityConstraint => @@ -313,13 +294,6 @@ impl<'p> Translator<'p> let integrity_constraint = crate::universal_closure(scoped_formula); - // TODO: refactor - // TODO: reimplement - /* - log::debug!("translated integrity constraint: {}", - foliage::format::display_formula(&integrity_constraint, self.problem)); - */ - let statement = crate::problem::Statement::new( crate::problem::StatementKind::Program, integrity_constraint) .with_name("integrity_constraint".to_string())