snark_tool/graph/undirected/simple_edge_graph/
simple_vertex.rs

1use crate::graph::vertex::{Vertex, VertexConstructor};
2
3#[derive(Debug, Hash, Eq, PartialEq, Clone)]
4pub struct SimpleVertex {
5    index: usize,
6}
7
8impl Vertex for SimpleVertex {
9    fn index(&self) -> usize {
10        self.index
11    }
12}
13
14impl VertexConstructor for SimpleVertex {
15    fn new(index: usize) -> Self {
16        SimpleVertex { index }
17    }
18}