[−][src]Type Definition sophia::term::factory::ArcTermFactory
type ArcTermFactory = WeakHashSet<Weak<str>>;
Trait Implementations
impl TermFactory for ArcTermFactory
[src]
type TermData = Arc<str>
fn get_term_data(&mut self, txt: &str) -> Arc<str>
[src]
fn shrink_to_fit(&mut self)
[src]
fn iri<T>(&mut self, iri: T) -> Result<FTerm<Self>> where
T: TermData,
[src]
T: TermData,
fn iri2<T, U>(&mut self, ns: T, suffix: U) -> Result<FTerm<Self>> where
T: TermData,
U: TermData,
[src]
T: TermData,
U: TermData,
fn bnode<T>(&mut self, id: T) -> Result<FTerm<Self>> where
T: TermData,
[src]
T: TermData,
fn literal_lang<T, U>(&mut self, txt: T, lang: U) -> Result<FTerm<Self>> where
T: TermData,
U: TermData,
[src]
T: TermData,
U: TermData,
fn literal_dt<T, U>(&mut self, txt: T, dt: Term<U>) -> Result<FTerm<Self>> where
T: TermData,
U: TermData,
[src]
T: TermData,
U: TermData,
fn variable<T>(&mut self, name: T) -> Result<FTerm<Self>> where
T: TermData,
[src]
T: TermData,
fn copy<T>(&mut self, other: &Term<T>) -> FTerm<Self> where
T: TermData,
[src]
T: TermData,
fn copy_normalized<T>(
&mut self,
other: &Term<T>,
norm: Normalization
) -> FTerm<Self> where
T: TermData,
[src]
&mut self,
other: &Term<T>,
norm: Normalization
) -> FTerm<Self> where
T: TermData,