pub struct CategoricalData<'a> {
pub quantifier: TokenType,
pub subject: NounPhrase<'a>,
pub copula_negative: bool,
pub predicate: NounPhrase<'a>,
}Expand description
Aristotelian categorical proposition data.
Represents the four categorical forms (A, E, I, O):
- A: All S are P
- E: No S are P
- I: Some S are P
- O: Some S are not P
Fields§
§quantifier: TokenTypeThe quantifier (All, No, Some).
subject: NounPhrase<'a>Subject term (S in “All S are P”).
copula_negative: boolWhether copula is negated (for O-form: “Some S are not P”).
predicate: NounPhrase<'a>Predicate term (P in “All S are P”).
Trait Implementations§
Auto Trait Implementations§
impl<'a> Freeze for CategoricalData<'a>
impl<'a> RefUnwindSafe for CategoricalData<'a>
impl<'a> Send for CategoricalData<'a>
impl<'a> Sync for CategoricalData<'a>
impl<'a> Unpin for CategoricalData<'a>
impl<'a> UnsafeUnpin for CategoricalData<'a>
impl<'a> UnwindSafe for CategoricalData<'a>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.