[−][src]Struct flag_algebra::flags::Digraph
Directed graphs.
Fields
edge: AntiSym<Arc>Flat matrix of arcs.
Methods
impl Digraph[src]
pub fn size(&self) -> usize[src]
Number of vertices
pub fn out_nbrs(&self, v: usize) -> Vec<usize>[src]
Out-neigborhood of v in self.
pub fn in_nbrs(&self, v: usize) -> Vec<usize>[src]
In-neigborhood of v in self.
pub fn new(n: usize, arcs: &[(usize, usize)]) -> Self[src]
Directed graph with n vertices and arcs arcs.
pub fn empty(n: usize) -> Self[src]
Directed graph with n vertices and no edge.
pub fn add_sink(&self) -> Self[src]
Directed graph obtained from self by adding a vertex and every edge
from the rest of the graph to that vertex.
Trait Implementations
impl Flag for Digraph[src]
fn induce(&self, p: &[usize]) -> Self[src]
const NAME: &'static str[src]
fn all_flags(n: usize) -> Vec<Self>[src]
fn superflags(&self) -> Vec<Self>[src]
const HEREDITARY: bool[src]
fn generate_next(previous: &[Self]) -> Vec<Self>[src]
fn generate(n: usize) -> Vec<Self>[src]
fn generate_typed_up(type_flag: &Self, g_vec: &[Self]) -> Vec<Self>[src]
fn generate_typed(type_flag: &Self, size: usize) -> Vec<Self>[src]
fn select_type(&self, eta: &[usize]) -> Self[src]
impl SubFlag<Digraph> for TriangleFree[src]
const SUBCLASS_NAME: &'static str[src]
fn is_in_subclass(flag: &Digraph) -> bool[src]
const HEREDITARY: bool[src]
impl Clone for Digraph[src]
impl Eq for Digraph[src]
impl Ord for Digraph[src]
fn cmp(&self, other: &Digraph) -> Ordering[src]
fn max(self, other: Self) -> Self1.21.0[src]
fn min(self, other: Self) -> Self1.21.0[src]
fn clamp(self, min: Self, max: Self) -> Self[src]
impl PartialEq<Digraph> for Digraph[src]
impl PartialOrd<Digraph> for Digraph[src]
fn partial_cmp(&self, other: &Digraph) -> Option<Ordering>[src]
fn lt(&self, other: &Digraph) -> bool[src]
fn le(&self, other: &Digraph) -> bool[src]
fn gt(&self, other: &Digraph) -> bool[src]
fn ge(&self, other: &Digraph) -> bool[src]
impl Display for Digraph[src]
impl Debug for Digraph[src]
impl StructuralPartialEq for Digraph[src]
impl StructuralEq for Digraph[src]
impl Serialize for Digraph[src]
fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
__S: Serializer, [src]
__S: Serializer,
impl<'de> Deserialize<'de> for Digraph[src]
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>, [src]
__D: Deserializer<'de>,
impl Canonize for Digraph[src]
fn size(&self) -> usize[src]
fn invariant_neighborhood(&self, v: usize) -> Vec<Vec<usize>>[src]
fn apply_morphism(&self, p: &[usize]) -> Self[src]
fn invariant_coloring(&self) -> Option<Vec<u64>>[src]
fn canonical(&self) -> Self[src]
fn canonical_typed(&self, sigma: usize) -> Self[src]
fn morphism_to_canonical(&self) -> Vec<usize>[src]
fn morphism_to_canonical_typed(&self, sigma: usize) -> Vec<usize>[src]
fn automorphisms(&self) -> AutomorphismIterator<Self>[src]
fn stabilizer(&self, sigma: usize) -> AutomorphismIterator<Self>[src]
Auto Trait Implementations
impl Send for Digraph
impl Sync for Digraph
impl Unpin for Digraph
impl UnwindSafe for Digraph
impl RefUnwindSafe for Digraph
Blanket Implementations
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T> From<T> for T[src]
impl<T> ToOwned for T where
T: Clone, [src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T[src]
fn clone_into(&self, target: &mut T)[src]
impl<T> ToString for T where
T: Display + ?Sized, [src]
T: Display + ?Sized,
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<SS, SP> SupersetOf<SS> for SP where
SS: SubsetOf<SP>,
SS: SubsetOf<SP>,
fn to_subset(&self) -> Option<SS>
fn is_in_subset(&self) -> bool
unsafe fn to_subset_unchecked(&self) -> SS
fn from_subset(element: &SS) -> SP
impl<T> DeserializeOwned for T where
T: Deserialize<'de>, [src]
T: Deserialize<'de>,
impl<T> Same<T> for T[src]
type Output = T
Should always be Self
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,