Type Definition sophia::term::factory::RcTermFactory

type RcTermFactory = WeakHashSet<Weak<str>>;

Trait Implementations

impl TermFactory for RcTermFactory

type TermData = Rc<str>

fn get_term_data(&mut self, txt: &str) -> Rc<str>

fn shrink_to_fit(&mut self)

fn iri<T>(&mut self, iri: T) -> Result<FTerm<Self>> where
    T: TermData, 

fn iri2<T, U>(&mut self, ns: T, suffix: U) -> Result<FTerm<Self>> where
    T: TermData,
    U: TermData, 

fn bnode<T>(&mut self, id: T) -> Result<FTerm<Self>> where
    T: TermData, 

fn literal_lang<T, U>(&mut self, txt: T, lang: U) -> Result<FTerm<Self>> where
    T: TermData,
    U: TermData, 

fn literal_dt<T, U>(&mut self, txt: T, dt: Term<U>) -> Result<FTerm<Self>> where
    T: TermData,
    U: TermData, 

fn variable<T>(&mut self, name: T) -> Result<FTerm<Self>> where
    T: TermData, 

fn copy<T>(&mut self, other: &Term<T>) -> FTerm<Self> where
    T: TermData, 

fn copy_normalized<T>(
    &mut self,
    other: &Term<T>,
    norm: Normalization
) -> FTerm<Self> where
    T: TermData,