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

Start testing implications

This commit is contained in:
Patrick Lühne 2020-04-06 21:45:32 +02:00
parent 33f751781e
commit 80d7460ec1
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 21 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
src/format/formulas.rs
View File

@ -1673,4 +1673,25 @@ mod tests
if_and_only_if(vec![or(p2q2r2())]), if_and_only_if(vec![or(p3q3r3())])])),
"p1 or q1 or r1 <-> p2 or q2 or r2 <-> p3 or q3 or r3");
}
#[test]
fn format_combination_implies_and_lower()
{
// Implies + implies
assert_eq!(format(
implies_right(implies_right(p1(), q1()), implies_right(p2(), q2()))),
"(p1 -> q1) -> p2 -> q2");
assert_eq!(format(
implies_right(and(vec![implies_right(p1(), q1())]),
and(vec![implies_right(p2(), q2())]))),
"(p1 -> q1) -> p2 -> q2");
assert_eq!(format(
implies_right(or(vec![implies_right(p1(), q1())]),
or(vec![implies_right(p2(), q2())]))),
"(p1 -> q1) -> p2 -> q2");
assert_eq!(format(
implies_right(if_and_only_if(vec![implies_right(p1(), q1())]),
if_and_only_if(vec![implies_right(p2(), q2())]))),
"(p1 -> q1) -> p2 -> q2");
}
}