snark-tool 0.4.0

snark-tool library contains structures and algorithm for (mainly) cubic graph analysis
Documentation
1
2
3
4
5
6
7
8
9
10
11
use crate::graph::undirected::UndirectedGraph;
use crate::procedure::error::Error;
use std::collections::HashMap;
use std::result;

pub type Result<T> = result::Result<T, Error>;
pub type GraphProperties = HashMap<String, serde_json::Value>;

pub trait Procedure<G: UndirectedGraph> {
    fn run(&self, graphs: &mut Vec<(G, GraphProperties)>) -> Result<()>;
}