graphs_tools 0.2.0

Graphs tools. 
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52

/// Internal namespace.
mod private
{
  // use crate::prelude::*;
  // use core::fmt;
  // use core::hash::Hash;
  // use core::cmp::{ PartialEq, Eq };
  use crate::IdentityInterface;

  /// Has ID generator.

  pub trait HasIdGenerator< Id >
  where
    Id : IdentityInterface,
  {
    /// Associated id generator.
    type Generator : IdGeneratorTrait< Id >;
  }

  /// Interface to generate ids.

  pub trait IdGeneratorTrait< Id >
  where
    Id : IdentityInterface,
    Self : Default,
  {
    /// Generate a new id.
    fn id_next( &mut self ) -> Id;
    /// Check is id valid.
    fn is_id_valid( &self, src : Id ) -> bool;
  }

  // impl< T, G > HasIdGenerator< T > for T
  // where
  //   G : IdGeneratorTrait< T >,
  // {
  //   type Generator = G;
  // }

}

//

crate::mod_interface!
{
  prelude use super::private::
  {
    HasIdGenerator,
    IdGeneratorTrait,
    // IdGeneratorInt,
  };
}