patrick/anthem-rs
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Remove unused code

Browse Source
This commit is contained in:
Patrick Lühne 2020-05-11 03:39:09 +02:00
parent cede63b7e4
commit 2c660ff902
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 0 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
src/translate/verify_properties.rs
View File

@ -76,18 +76,6 @@ impl<'p> Translator<'p>
log::info!("read input program “{}”", program_path.as_ref().display()); 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, let completed_definition = |predicate_declaration, definitions: &mut Definitions,
problem: &crate::Problem| problem: &crate::Problem|
{ {
@ -273,13 +261,6 @@ impl<'p> Translator<'p>
formula: definition, 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); predicate_definitions.definitions.push(definition);
}, },
HeadType::IntegrityConstraint => HeadType::IntegrityConstraint =>
@ -313,13 +294,6 @@ impl<'p> Translator<'p>
let integrity_constraint = crate::universal_closure(scoped_formula); 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( let statement = crate::problem::Statement::new(
crate::problem::StatementKind::Program, integrity_constraint) crate::problem::StatementKind::Program, integrity_constraint)
.with_name("integrity_constraint".to_string()) .with_name("integrity_constraint".to_string())