Struct DisplayConfiguration 

pub struct DisplayConfiguration {
    pub debug: bool,
    pub display_quantifier_name: bool,
    pub replace_symbols: SymbolReplacement,
    pub input: Option<bool>,
    pub enode_char_limit: Option<NonMaxU32>,
    pub ast_depth_limit: Option<NonMaxU32>,
}

Fields

debug: bool

display_quantifier_name: bool

replace_symbols: SymbolReplacement

input: Option<bool>

Print SynthTermKind::Generalised terms as either _ if true or ...(_) if false.

enode_char_limit: Option<NonMaxU32>

ast_depth_limit: Option<NonMaxU32>

Implementations

impl DisplayConfiguration

pub fn html(&self) -> bool

pub fn font_tag(&self) -> bool

pub fn with_html_italic( &self, f: &mut Formatter<'_>, rest: impl FnMut(&mut Formatter<'_>) -> Result, ) -> Result

pub fn with_html_colour( &self, f: &mut Formatter<'_>, colour: &str, rest: impl FnMut(&mut Formatter<'_>) -> Result, ) -> Result

pub fn with_html_tag( &self, f: &mut Formatter<'_>, tag: &str, attributes: Option<&str>, rest: impl FnMut(&mut Formatter<'_>) -> Result, ) -> Result

Trait Implementations

impl Clone for DisplayConfiguration

fn clone(&self) -> DisplayConfiguration

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DisplayConfiguration

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for DisplayConfiguration

fn default() -> DisplayConfiguration

Returns the “default value” for a type.

impl PartialEq for DisplayConfiguration

fn eq(&self, other: &DisplayConfiguration) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for DisplayConfiguration

impl Eq for DisplayConfiguration

impl StructuralPartialEq for DisplayConfiguration