pub struct DblModelPrinter { /* private fields */ }Expand description
Pretty-printer for models of double theories.
Implementations§
Source§impl DblModelPrinter
impl DblModelPrinter
Sourcepub fn include_summary(self, value: bool) -> Self
pub fn include_summary(self, value: bool) -> Self
Sets whether to show summary at beginning of model printout.
Sourcepub fn summary(&self, model: &impl PrintableDblModel) -> String
pub fn summary(&self, model: &impl PrintableDblModel) -> String
Generates a summary string for the model.
Sourcepub fn doc<'a>(&self, model: &impl PrintableDblModel) -> D<'a>
pub fn doc<'a>(&self, model: &impl PrintableDblModel) -> D<'a>
Pretty prints a model (with empty namespaces).
Sourcepub fn namespaced_doc<'a, Model: PrintableDblModel>(
&self,
model: &Model,
ob_ns: &Namespace,
mor_ns: &Namespace,
) -> D<'a>
pub fn namespaced_doc<'a, Model: PrintableDblModel>( &self, model: &Model, ob_ns: &Namespace, mor_ns: &Namespace, ) -> D<'a>
Pretty prints a model with labels from the given namespaces.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for DblModelPrinter
impl RefUnwindSafe for DblModelPrinter
impl Send for DblModelPrinter
impl Sync for DblModelPrinter
impl Unpin for DblModelPrinter
impl UnwindSafe for DblModelPrinter
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
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more§impl<T> Pointable for T
impl<T> Pointable for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.