guided_digraph 0.1.1

A data structure for incremental live and dead state detection in an abstract transition system
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

/*
    Binary to run all state graph algorithms on an example input
    and compare stats.
*/

use guided_digraph::driver::{self, Algorithm};
use structopt::StructOpt;

#[derive(Debug, StructOpt)]
#[structopt(
    name = "run perf/stats comparison",
    about = "Run all state graph algorithms on an example input, compare stats."
)]
struct Args {
    #[structopt(help = "Path to example without file extension \
                        (e.g. 'examples/handwritten/2')")]
    basename: String,

    #[structopt(short, long, help = "List of algorithms to exclude")]
    exclude: Vec<Algorithm>,

    #[structopt(short, long, default_value = "10")]
    timeout: u64,
}
impl Args {
    fn run(&self) {
        let algs = driver::algs_excluding(&self.exclude);
        driver::run_compare(&self.basename, &algs, self.timeout);
    }
}

fn main() {
    Args::from_args().run();
}