line/line.rs
1extern crate reachability_solver;
2
3use reachability_solver::{solve, etch, shapes, map};
4
5fn main() {
6 let n = 4;
7 // 0 1 2 3
8 let mut x = shapes::dir_line(n);
9 while x.len() > 0 {
10 let m = solve(x.clone());
11 println!("{}", map::visualize(&map::map2([4, 1], &x)));
12 println!("{:?}\n---------------------------------------\n{:?}\n", x, m);
13 etch::initial(&m, &mut x);
14 }
15}