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

Add to-do notes

Browse Source
This commit is contained in:
Patrick Lühne 2020-05-19 12:49:57 +02:00
parent c1038b398c
commit 0229adef78
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/output/tptp.rs
View File

@ -389,6 +389,7 @@ where
match &self.formula match &self.formula
{ {
// TODO: handle cases with 0 parameters properly
Formula::Exists(exists) => Formula::Exists(exists) =>
{ {
write!(formatter, "?[")?; write!(formatter, "?[")?;
@ -408,6 +409,7 @@ where
write!(formatter, "]: ({:?})", display_formula(&exists.argument))?; write!(formatter, "]: ({:?})", display_formula(&exists.argument))?;
}, },
// TODO: handle cases with 0 parameters properly
Formula::ForAll(for_all) => Formula::ForAll(for_all) =>
{ {
write!(formatter, "![")?; write!(formatter, "![")?;
@ -428,6 +430,7 @@ where
write!(formatter, "]: ({:?})", display_formula(&for_all.argument))?; write!(formatter, "]: ({:?})", display_formula(&for_all.argument))?;
}, },
Formula::Not(argument) => write!(formatter, "~{:?}", display_formula(argument))?, Formula::Not(argument) => write!(formatter, "~{:?}", display_formula(argument))?,
// TODO: handle cases with < 2 arguments properly
Formula::And(arguments) => Formula::And(arguments) =>
{ {
write!(formatter, "(")?; write!(formatter, "(")?;
@ -445,6 +448,7 @@ where
write!(formatter, ")")?; write!(formatter, ")")?;
}, },
// TODO: handle cases with < 2 arguments properly
Formula::Or(arguments) => Formula::Or(arguments) =>
{ {
write!(formatter, "(")?; write!(formatter, "(")?;
@ -465,6 +469,7 @@ where
Formula::Implies(Implies{antecedent, implication, ..}) => Formula::Implies(Implies{antecedent, implication, ..}) =>
write!(formatter, "({:?} => {:?})", display_formula(antecedent), write!(formatter, "({:?} => {:?})", display_formula(antecedent),
display_formula(implication))?, display_formula(implication))?,
// TODO: handle cases with < 2 arguments properly
Formula::IfAndOnlyIf(arguments) => match arguments.len() Formula::IfAndOnlyIf(arguments) => match arguments.len()
{ {
0 => write!(formatter, "$true")?, 0 => write!(formatter, "$true")?,