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

Do not add type declarations for built-ins

Browse Source
This commit is contained in:
Patrick Lühne 2020-05-18 01:19:30 +02:00
parent 0cce3bf54d
commit c0bfbc923c
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/problem.rs
View File

@ -451,6 +451,7 @@ impl Problem
} }
for predicate_declaration in self.predicate_declarations.borrow().iter() for predicate_declaration in self.predicate_declarations.borrow().iter()
.filter(|x| !(x.name.starts_with("p__") || x.name.ends_with("__")))
{ {
writeln!(formatter, "tff(type, type, {}).", writeln!(formatter, "tff(type, type, {}).",
crate::output::tptp::display_predicate_declaration(predicate_declaration))?; crate::output::tptp::display_predicate_declaration(predicate_declaration))?;
@ -462,6 +463,7 @@ impl Problem
} }
for function_declaration in self.function_declarations.borrow().iter() for function_declaration in self.function_declarations.borrow().iter()
.filter(|x| !(x.name.starts_with("f__") || x.name.ends_with("__")))
{ {
writeln!(formatter, "tff(type, type, {}).", writeln!(formatter, "tff(type, type, {}).",
crate::output::tptp::display_function_declaration(function_declaration, crate::output::tptp::display_function_declaration(function_declaration,