[−][src]Struct truncated_free_groups::truncated_group::TruncatedGroup

pub struct TruncatedGroup {
    pub generators: BTreeSet<Literal>,
    pub elements: Box<BTreeSet<ShortFreeGroupTerm>>,
}

Represents the ball of radius 3 in the Cayley graph of the free group with respect to the standard generating set.

#Examples Basic usage:

use std::collections::BTreeSet;
use l_group_formulas::literal::Literal;
use l_group_formulas::short_free_group_term::ShortFreeGroupTerm;
use truncated_free_groups::truncated_group::TruncatedGroup;
let mut generators = BTreeSet::new();
generators.insert(Literal::from('x'));
generators.insert(Literal::from('y'));
let truncated_group = TruncatedGroup::new(generators);
let mut expected: BTreeSet<ShortFreeGroupTerm> = BTreeSet::new();
assert_eq!(53, truncated_group.elements.len());

Fields

generators: BTreeSet<Literal>elements: Box<BTreeSet<ShortFreeGroupTerm>>

Implementations

impl TruncatedGroup[src]

pub fn new(generators: BTreeSet<Literal>) -> TruncatedGroup[src]

Trait Implementations

impl Debug for TruncatedGroup[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.