Enum sspds::smt::exprs::SmtExpr

pub enum SmtExpr {
    Comment(String),
    Atom(String),
    List(Vec<SmtExpr>),
}

Variants

Comment(String)

Atom(String)

List(Vec<SmtExpr>)

Trait Implementations

impl Clone for SmtExpr

fn clone(&self) -> SmtExpr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SmtExpr

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

Formats the value using the given formatter.

impl From<Expression> for SmtExpr

fn from(expr: Expression) -> SmtExpr

Performs the conversion.

impl<C, E> From<SmtIs<C, E>> for SmtExpr where
    C: Into<String>,
    E: Into<SmtExpr>, 

fn from(is: SmtIs<C, E>) -> SmtExpr

Performs the conversion.

impl<C, T, E> From<SmtIte<C, T, E>> for SmtExpr where
    C: Into<SmtExpr>,
    T: Into<SmtExpr>,
    E: Into<SmtExpr>, 

fn from(ite: SmtIte<C, T, E>) -> SmtExpr

Performs the conversion.

impl<B> From<SmtLet<B>> for SmtExpr where
    B: Into<SmtExpr>, 

fn from(l: SmtLet<B>) -> SmtExpr

Performs the conversion.

impl From<SspSmtVar> for SmtExpr

fn from(v: SspSmtVar) -> SmtExpr

Performs the conversion.

impl From<Type> for SmtExpr

fn from(t: Type) -> SmtExpr

Performs the conversion.

impl SmtFmt for SmtExpr

fn write_smt_to<T: Write>(&self, write: &mut T) -> Result<()>

fn to_string(&self) -> String