pub struct TmsStats {
pub total_justifications: usize,
pub logical_facts: usize,
pub explicit_facts: usize,
pub retracted_facts: usize,
}Expand description
TMS statistics
Fields§
§total_justifications: usize§logical_facts: usize§explicit_facts: usize§retracted_facts: usizeTrait Implementations§
Auto Trait Implementations§
impl Freeze for TmsStats
impl RefUnwindSafe for TmsStats
impl Send for TmsStats
impl Sync for TmsStats
impl Unpin for TmsStats
impl UnwindSafe for TmsStats
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