chiark
/
gitweb
/
~ian
/
z3-treefoil
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4685cec
)
wip
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 29 Oct 2022 19:11:56 +0000
(20:11 +0100)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 29 Oct 2022 19:11:56 +0000
(20:11 +0100)
src/bin/every-corner.rs
patch
|
blob
|
history
diff --git
a/src/bin/every-corner.rs
b/src/bin/every-corner.rs
index a11a6dd7cfda1dba5b621aad67ef889335b8f465..76fe4b73aff7e6163011fbb209bebfbc489ebf79 100644
(file)
--- a/
src/bin/every-corner.rs
+++ b/
src/bin/every-corner.rs
@@
-11,7
+11,18
@@
fn main() -> io::Result<()> {
.all(|need| shape.iter().any(|got| &got[..]==need));
if !has_all_corners { continue }
+
+ if !has_all_corners { continue }
+ let middle_vertices =
+ iter::repeat([1,2].into_iter())
+ .take(DIM)
+ .multi_cartesian_product()
+ .filter(|need| shape.iter().any(|got| &got[..]==need))
+ .count();
+
+ print!("{} ", middle_vertices);
+
print_shape(&shape)?;
}