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

Fix variable names in TPTP

Browse Source
This commit is contained in:
Patrick Lühne 2019-11-05 13:58:21 -06:00
parent 2a8a076ecd
commit 199afd6768
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/format_tptp.rs
View File

@ -294,8 +294,8 @@ impl<'a> std::fmt::Debug for VariableDeclarationDisplay<'a>
{ {
match &self.0.domain match &self.0.domain
{ {
foliage::Domain::Program => write!(format, "X{}: object", self.0.name), foliage::Domain::Program => write!(format, "{}: object", self.0.name),
foliage::Domain::Integer => write!(format, "N{}: $int", self.0.name), foliage::Domain::Integer => write!(format, "{}: $int", self.0.name),
} }
} }
} }
@ -347,8 +347,8 @@ impl<'a> std::fmt::Debug for TermDisplay<'a>
foliage::Term::String(ref value) => write!(format, "\"{}\"", value), foliage::Term::String(ref value) => write!(format, "\"{}\"", value),
foliage::Term::Variable(ref declaration) => match declaration.domain foliage::Term::Variable(ref declaration) => match declaration.domain
{ {
foliage::Domain::Program => write!(format, "X{}", declaration.name), foliage::Domain::Program => write!(format, "{}", declaration.name),
foliage::Domain::Integer => write!(format, "N{}", declaration.name), foliage::Domain::Integer => write!(format, "{}", declaration.name),
}, },
foliage::Term::Add(ref left, ref right) => write!(format, "$sum({:?}, {:?})", (&**left).display_tptp(), right.display_tptp()), foliage::Term::Add(ref left, ref right) => write!(format, "$sum({:?}, {:?})", (&**left).display_tptp(), right.display_tptp()),
foliage::Term::Subtract(ref left, ref right) => write!(format, "$difference({:?}, {:?})", left.display_tptp(), right.display_tptp()), foliage::Term::Subtract(ref left, ref right) => write!(format, "$difference({:?}, {:?})", left.display_tptp(), right.display_tptp()),