Trait flag_algebra::Flag

pub trait Flagwhere
    Self: Canonize + Debug + Display + Serialize + DeserializeOwned,{
    const NAME: &'static str;
    const HEREDITARY: bool = true;

    // Required methods
    fn induce(&self, set: &[usize]) -> Self;
    fn size_zero_flags() -> Vec<Self>;
    fn superflags(&self) -> Vec<Self>;

    // Provided methods
    fn generate_next(previous: &[Self]) -> Vec<Self> { ... }
    fn generate(n: usize) -> Vec<Self> { ... }
    fn generate_typed_up(type_flag: &Self, g_vec: &[Self]) -> Vec<Self> { ... }
    fn generate_typed(type_flag: &Self, size: usize) -> Vec<Self> { ... }
    fn select_type(&self, eta: &[usize]) -> Self { ... }
}

Trait for combinatorial objects that can be used as flags.

Flags must implement the Canonize trait from the canonical_form crate, that allows reduction modulo isomorphism.

Required Associated Constants

const NAME: &'static str

A unique name for this type of flags. For instance “Graph”. This nameis used for naming the associated data subdirectory.

Provided Associated Constants

const HEREDITARY: bool = true

Setting this parameter to false deactivate checks that induced subflags exists. Must be true in every classic case.

Required Methods

fn induce(&self, set: &[usize]) -> Self

Returns the subflag induced by the vertices in the slice set.

fn size_zero_flags() -> Vec<Self>

Returns the set of all flags of size 0.

This list is used for initialisation in the flag construction.

fn superflags(&self) -> Vec<Self>

Return the list of flags of size self.size() + 1 that contain self as an induced subflag.

This list can have redundancy and is a priori not reduced modulo isomorphism.

Provided Methods

fn generate_next(previous: &[Self]) -> Vec<Self>

Return the list of flags of size self.size() + 1 that contain self as an induced subflag reduced modulo isomorphism.

fn generate(n: usize) -> Vec<Self>

Return the list of flags of size n reduced modulo isomorphism.

fn generate_typed_up(type_flag: &Self, g_vec: &[Self]) -> Vec<Self>

Return the list of flags of g_vec that can be rooted on the flag type_flag. Each different way to root this flag give a different flag in the result.

fn generate_typed(type_flag: &Self, size: usize) -> Vec<Self>

Return the list of flag of size size rooted on type_flag reduced modulo (typed) isomorphism.

fn select_type(&self, eta: &[usize]) -> Self

Reorder self so that the eta.len() first vertices are the values of eta in the corresponding order.

Implementors

impl Flag for Digraph

const NAME: &'static str = "Digraph"

impl Flag for Graph

const NAME: &'static str = "Graph"

impl<F, A> Flag for SubClass<F, A>where A: SubFlag<F>, F: Flag,

const NAME: &'static str = A::SUBCLASS_NAME

const HEREDITARY: bool = A::HEREDITARY

impl<F, const N: u8> Flag for Colored<F, N>where F: Flag,

const NAME: &'static str = "FIXME"

const HEREDITARY: bool = F::HEREDITARY

impl<const K: u8> Flag for CGraph<K>

const NAME: &'static str = _