Struct smtlib_lowlevel::ast::GetAssignmentResponse

source ·

pub struct GetAssignmentResponse(pub Vec<TValuationPair>);

Expand description

(<t_valuation_pair>*)

Tuple Fields§

§0: Vec<TValuationPair>

Implementations§

source §

impl GetAssignmentResponse

source

pub fn parse(src: &str) -> Result<Self, ParseError>

Trait Implementations§

source §

impl Clone for GetAssignmentResponse

source §

fn clone(&self) -> GetAssignmentResponse

Returns a copy of the value. Read more

1.0.0 · source§

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

Performs copy-assignment from source. Read more

source §

impl Debug for GetAssignmentResponse

source §

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

Formats the value using the given formatter. Read more

source §

impl<'de> Deserialize<'de> for GetAssignmentResponse

source §

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where
__D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more

source §

impl Display for GetAssignmentResponse

source §

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

Formats the value using the given formatter. Read more

source §

impl Hash for GetAssignmentResponse

source §

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher. Read more

1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)where
H: Hasher,
Self: Sized,

Feeds a slice of this type into the given Hasher. Read more

source §

impl PartialEq<GetAssignmentResponse> for GetAssignmentResponse

source §

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

This method tests for self and other values to be equal, and is used by ==.

1.0.0 · source§

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

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

source §

impl Serialize for GetAssignmentResponse

source §

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>where
S: Serializer,

Serialize this value into the given Serde serializer. Read more

source §

impl Eq for GetAssignmentResponse

source §

impl StructuralEq for GetAssignmentResponse

source §

impl StructuralPartialEq for GetAssignmentResponse

Auto Trait Implementations§

§

impl UnwindSafe for GetAssignmentResponse

Blanket Implementations§

source §

impl<T> Any for Twhere
T: 'static + ?Sized,

source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source §

impl<T> Borrow<T> for Twhere
T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source §

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source §

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source §

impl<T, U> Into for Twhere
U: From<T>,

const: unstable · source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

§

impl<D> OwoColorize for D

§

fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>where
C: Color,

Set the foreground color generically Read more

§

fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>where
C: Color,

Set the background color generically. Read more

§

fn black<'a>(&'a self) -> FgColorDisplay<'a, Black, Self>

Change the foreground color to black

§

fn on_black<'a>(&'a self) -> BgColorDisplay<'a, Black, Self>

Change the background color to black

§

fn red<'a>(&'a self) -> FgColorDisplay<'a, Red, Self>

Change the foreground color to red

§

fn on_red<'a>(&'a self) -> BgColorDisplay<'a, Red, Self>

Change the background color to red

§

fn green<'a>(&'a self) -> FgColorDisplay<'a, Green, Self>

Change the foreground color to green

§

fn on_green<'a>(&'a self) -> BgColorDisplay<'a, Green, Self>

Change the background color to green

§

fn yellow<'a>(&'a self) -> FgColorDisplay<'a, Yellow, Self>

Change the foreground color to yellow

§

fn on_yellow<'a>(&'a self) -> BgColorDisplay<'a, Yellow, Self>

Change the background color to yellow

§

fn blue<'a>(&'a self) -> FgColorDisplay<'a, Blue, Self>

Change the foreground color to blue

§

fn on_blue<'a>(&'a self) -> BgColorDisplay<'a, Blue, Self>

Change the background color to blue

§

fn magenta<'a>(&'a self) -> FgColorDisplay<'a, Magenta, Self>

Change the foreground color to magenta

§

fn on_magenta<'a>(&'a self) -> BgColorDisplay<'a, Magenta, Self>

Change the background color to magenta

§

fn purple<'a>(&'a self) -> FgColorDisplay<'a, Magenta, Self>

Change the foreground color to purple

§

fn on_purple<'a>(&'a self) -> BgColorDisplay<'a, Magenta, Self>

Change the background color to purple

§

fn cyan<'a>(&'a self) -> FgColorDisplay<'a, Cyan, Self>

Change the foreground color to cyan

§

fn on_cyan<'a>(&'a self) -> BgColorDisplay<'a, Cyan, Self>

Change the background color to cyan

§

fn white<'a>(&'a self) -> FgColorDisplay<'a, White, Self>

Change the foreground color to white

§

fn on_white<'a>(&'a self) -> BgColorDisplay<'a, White, Self>

Change the background color to white

§

fn default_color<'a>(&'a self) -> FgColorDisplay<'a, Default, Self>

Change the foreground color to the terminal default

§

fn on_default_color<'a>(&'a self) -> BgColorDisplay<'a, Default, Self>

Change the background color to the terminal default

§

fn bright_black<'a>(&'a self) -> FgColorDisplay<'a, BrightBlack, Self>

Change the foreground color to bright black

§

fn on_bright_black<'a>(&'a self) -> BgColorDisplay<'a, BrightBlack, Self>

Change the background color to bright black

§

fn bright_red<'a>(&'a self) -> FgColorDisplay<'a, BrightRed, Self>

Change the foreground color to bright red

§

fn on_bright_red<'a>(&'a self) -> BgColorDisplay<'a, BrightRed, Self>

Change the background color to bright red

§

fn bright_green<'a>(&'a self) -> FgColorDisplay<'a, BrightGreen, Self>

Change the foreground color to bright green

§

fn on_bright_green<'a>(&'a self) -> BgColorDisplay<'a, BrightGreen, Self>

Change the background color to bright green

§

fn bright_yellow<'a>(&'a self) -> FgColorDisplay<'a, BrightYellow, Self>

Change the foreground color to bright yellow

§

fn on_bright_yellow<'a>(&'a self) -> BgColorDisplay<'a, BrightYellow, Self>

Change the background color to bright yellow

§

fn bright_blue<'a>(&'a self) -> FgColorDisplay<'a, BrightBlue, Self>

Change the foreground color to bright blue

§

fn on_bright_blue<'a>(&'a self) -> BgColorDisplay<'a, BrightBlue, Self>

Change the background color to bright blue

§

fn bright_magenta<'a>(&'a self) -> FgColorDisplay<'a, BrightMagenta, Self>

Change the foreground color to bright magenta

§

fn on_bright_magenta<'a>(&'a self) -> BgColorDisplay<'a, BrightMagenta, Self>

Change the background color to bright magenta

§

fn bright_purple<'a>(&'a self) -> FgColorDisplay<'a, BrightMagenta, Self>

Change the foreground color to bright purple

§

fn on_bright_purple<'a>(&'a self) -> BgColorDisplay<'a, BrightMagenta, Self>

Change the background color to bright purple

§

fn bright_cyan<'a>(&'a self) -> FgColorDisplay<'a, BrightCyan, Self>

Change the foreground color to bright cyan

§

fn on_bright_cyan<'a>(&'a self) -> BgColorDisplay<'a, BrightCyan, Self>

Change the background color to bright cyan

§

fn bright_white<'a>(&'a self) -> FgColorDisplay<'a, BrightWhite, Self>

Change the foreground color to bright white

§

fn on_bright_white<'a>(&'a self) -> BgColorDisplay<'a, BrightWhite, Self>

Change the background color to bright white

§

fn bold<'a>(&'a self) -> BoldDisplay<'a, Self>

Make the text bold

§

fn dimmed<'a>(&'a self) -> DimDisplay<'a, Self>

Make the text dim

§

fn italic<'a>(&'a self) -> ItalicDisplay<'a, Self>

Make the text italicized

§

fn underline<'a>(&'a self) -> UnderlineDisplay<'a, Self>

Make the text italicized

§

fn blink<'a>(&'a self) -> BlinkDisplay<'a, Self>

Make the text blink

§

fn blink_fast<'a>(&'a self) -> BlinkFastDisplay<'a, Self>

Make the text blink (but fast!)

§

fn reversed<'a>(&'a self) -> ReversedDisplay<'a, Self>

Swap the foreground and background colors

§

fn hidden<'a>(&'a self) -> HiddenDisplay<'a, Self>

Hide the text

§

fn strikethrough<'a>(&'a self) -> StrikeThroughDisplay<'a, Self>

Cross out the text

§

fn color<Color>(&self, color: Color) -> FgDynColorDisplay<'_, Color, Self>where
Color: DynColor,

Set the foreground color at runtime. Only use if you do not know which color will be used at compile-time. If the color is constant, use either OwoColorize::fg or a color-specific method, such as OwoColorize::green, Read more

§

fn on_color<Color>(&self, color: Color) -> BgDynColorDisplay<'_, Color, Self>where
Color: DynColor,

Set the background color at runtime. Only use if you do not know what color to use at compile-time. If the color is constant, use either OwoColorize::bg or a color-specific method, such as OwoColorize::on_yellow, Read more

§

fn fg_rgb<const R: u8, const G: u8, const B: u8>(
&self
) -> FgColorDisplay<'_, CustomColor<R, G, B>, Self>

Set the foreground color to a specific RGB value.

§

fn bg_rgb<const R: u8, const G: u8, const B: u8>(
&self
) -> BgColorDisplay<'_, CustomColor<R, G, B>, Self>

Set the background color to a specific RGB value.

§

fn truecolor(&self, r: u8, g: u8, b: u8) -> FgDynColorDisplay<'_, Rgb, Self>

Sets the foreground color to an RGB value.

§

fn on_truecolor(&self, r: u8, g: u8, b: u8) -> BgDynColorDisplay<'_, Rgb, Self>

Sets the background color to an RGB value.

§

fn style(&self, style: Style) -> Styled<&Self>

Apply a runtime-determined style

source §

impl<T> ToOwned for Twhere
T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.

source §

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

source §

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

source §

impl<T> ToString for Twhere
T: Display + ?Sized,

source §

default fn to_string(&self) -> String

Converts the given value to a String. Read more

source §

impl<T, U> TryFrom for Twhere
U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source §

impl<T, U> TryInto for Twhere
U: TryFrom<T>,

§

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source§

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

source §

Struct smtlib_lowlevel::ast::GetAssignmentResponse

Tuple Fields§

Implementations§

impl GetAssignmentResponse

pub fn parse(src: &str) -> Result<Self, ParseError>

Trait Implementations§

impl Clone for GetAssignmentResponse

fn clone(&self) -> GetAssignmentResponse

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

impl Debug for GetAssignmentResponse

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

impl<'de> Deserialize<'de> for GetAssignmentResponse

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

impl Display for GetAssignmentResponse

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

impl Hash for GetAssignmentResponse

fn hash<__H: Hasher>(&self, state: &mut __H)

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

impl PartialEq<GetAssignmentResponse> for GetAssignmentResponse

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

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

impl Serialize for GetAssignmentResponse

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

impl Eq for GetAssignmentResponse

impl StructuralEq for GetAssignmentResponse

impl StructuralPartialEq for GetAssignmentResponse

Auto Trait Implementations§

impl RefUnwindSafe for GetAssignmentResponse

impl Send for GetAssignmentResponse

impl Sync for GetAssignmentResponse

impl Unpin for GetAssignmentResponse

impl UnwindSafe for GetAssignmentResponse

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<D> OwoColorize for D

fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>where C: Color,

fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>where C: Color,

fn black<'a>(&'a self) -> FgColorDisplay<'a, Black, Self>

fn on_black<'a>(&'a self) -> BgColorDisplay<'a, Black, Self>

fn red<'a>(&'a self) -> FgColorDisplay<'a, Red, Self>

fn on_red<'a>(&'a self) -> BgColorDisplay<'a, Red, Self>

fn green<'a>(&'a self) -> FgColorDisplay<'a, Green, Self>

fn on_green<'a>(&'a self) -> BgColorDisplay<'a, Green, Self>

fn yellow<'a>(&'a self) -> FgColorDisplay<'a, Yellow, Self>

fn on_yellow<'a>(&'a self) -> BgColorDisplay<'a, Yellow, Self>

fn blue<'a>(&'a self) -> FgColorDisplay<'a, Blue, Self>

fn on_blue<'a>(&'a self) -> BgColorDisplay<'a, Blue, Self>

fn magenta<'a>(&'a self) -> FgColorDisplay<'a, Magenta, Self>

fn on_magenta<'a>(&'a self) -> BgColorDisplay<'a, Magenta, Self>

fn purple<'a>(&'a self) -> FgColorDisplay<'a, Magenta, Self>

fn on_purple<'a>(&'a self) -> BgColorDisplay<'a, Magenta, Self>

fn cyan<'a>(&'a self) -> FgColorDisplay<'a, Cyan, Self>

fn on_cyan<'a>(&'a self) -> BgColorDisplay<'a, Cyan, Self>

fn white<'a>(&'a self) -> FgColorDisplay<'a, White, Self>

fn on_white<'a>(&'a self) -> BgColorDisplay<'a, White, Self>

fn default_color<'a>(&'a self) -> FgColorDisplay<'a, Default, Self>

fn on_default_color<'a>(&'a self) -> BgColorDisplay<'a, Default, Self>

fn bright_black<'a>(&'a self) -> FgColorDisplay<'a, BrightBlack, Self>

fn on_bright_black<'a>(&'a self) -> BgColorDisplay<'a, BrightBlack, Self>

fn bright_red<'a>(&'a self) -> FgColorDisplay<'a, BrightRed, Self>

fn on_bright_red<'a>(&'a self) -> BgColorDisplay<'a, BrightRed, Self>

fn bright_green<'a>(&'a self) -> FgColorDisplay<'a, BrightGreen, Self>

fn on_bright_green<'a>(&'a self) -> BgColorDisplay<'a, BrightGreen, Self>

fn bright_yellow<'a>(&'a self) -> FgColorDisplay<'a, BrightYellow, Self>

fn on_bright_yellow<'a>(&'a self) -> BgColorDisplay<'a, BrightYellow, Self>

fn bright_blue<'a>(&'a self) -> FgColorDisplay<'a, BrightBlue, Self>

fn on_bright_blue<'a>(&'a self) -> BgColorDisplay<'a, BrightBlue, Self>

fn bright_magenta<'a>(&'a self) -> FgColorDisplay<'a, BrightMagenta, Self>

fn on_bright_magenta<'a>(&'a self) -> BgColorDisplay<'a, BrightMagenta, Self>

fn bright_purple<'a>(&'a self) -> FgColorDisplay<'a, BrightMagenta, Self>

fn on_bright_purple<'a>(&'a self) -> BgColorDisplay<'a, BrightMagenta, Self>

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where
__D: Deserializer<'de>,

fn hash<H: Hasher>(&self, state: &mut H)

fn hash_slice<H>(data: &[Self], state: &mut H)where
H: Hasher,
Self: Sized,

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>where
S: Serializer,

impl<T> Any for Twhere
T: 'static + ?Sized,

impl<T> Borrow<T> for Twhere
T: ?Sized,

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

impl<T, U> Into<U> for Twhere
U: From<T>,

fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>where
C: Color,

fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>where
C: Color,

fn color<Color>(&self, color: Color) -> FgDynColorDisplay<'_, Color, Self>where
Color: DynColor,

fn on_color<Color>(&self, color: Color) -> BgDynColorDisplay<'_, Color, Self>where
Color: DynColor,

fn fg_rgb<const R: u8, const G: u8, const B: u8>(
&self
) -> FgColorDisplay<'_, CustomColor<R, G, B>, Self>

fn bg_rgb<const R: u8, const G: u8, const B: u8>(
&self
) -> BgColorDisplay<'_, CustomColor<R, G, B>, Self>

impl<T> ToOwned for Twhere
T: Clone,

impl<T> ToString for Twhere
T: Display + ?Sized,

impl<T, U> TryFrom<U> for Twhere
U: Into<T>,

impl<T, U> TryInto<U> for Twhere
U: TryFrom<T>,

impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,