From 34b8dce9be28ba05c18d4bbee70841e20735d3c4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 19 May 2020 12:54:51 +0200 Subject: [PATCH] Ignore built-in predicates in completion --- src/problem.rs | 3 ++- src/translate/verify_properties.rs | 4 +++- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/src/problem.rs b/src/problem.rs index e74d7a4..9e44598 100644 --- a/src/problem.rs +++ b/src/problem.rs @@ -144,7 +144,8 @@ impl Problem let hidden_predicate_declarations = predicate_declarations.iter().filter(|x| !output_predicate_declarations.contains(*x) - && !input_predicate_declarations.contains(*x)); + && !input_predicate_declarations.contains(*x) + && !(x.name.starts_with("p__") && x.name.ends_with("__"))); let mut statements = self.statements.borrow_mut(); diff --git a/src/translate/verify_properties.rs b/src/translate/verify_properties.rs index d00a465..ee690c9 100644 --- a/src/translate/verify_properties.rs +++ b/src/translate/verify_properties.rs @@ -143,8 +143,10 @@ impl<'p> Translator<'p> for predicate_declaration in self.problem.predicate_declarations.borrow().iter() { - // Don’t perform completion for input predicates + // Don’t perform completion for input predicates and built-in predicates if self.problem.input_predicate_declarations.borrow().contains(predicate_declaration) + || predicate_declaration.name.starts_with("p__") + && predicate_declaration.name.ends_with("__") { continue; }