Enum easy_smt::SExprData

pub enum SExprData<'a> {
    Atom(&'a str),
    List(&'a [SExpr]),
}

The data contents of an SExpr.

Converting SExprData to an Integer

There are TryFrom<SExprData> implementations for common integer types that you can use:

let mut ctx = easy_smt::ContextBuilder::new().build().unwrap();

let neg_one = ctx.binary(8, -1_i8);
assert_eq!(ctx.display(neg_one).to_string(), "#b11111111");

let x = u8::try_from(ctx.get(neg_one)).unwrap();
assert_eq!(x, 0xff);

Variants

Atom(&'a str)

List(&'a [SExpr])

Trait Implementations

impl TryFrom<SExprData<'_>> for u128

type Error = IntFromSExprError

The type returned in the event of a conversion error.

fn try_from(value: SExprData<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SExprData<'_>> for u16

type Error = IntFromSExprError

The type returned in the event of a conversion error.

fn try_from(value: SExprData<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SExprData<'_>> for u32

type Error = IntFromSExprError

The type returned in the event of a conversion error.

fn try_from(value: SExprData<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SExprData<'_>> for u64

type Error = IntFromSExprError

The type returned in the event of a conversion error.

fn try_from(value: SExprData<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SExprData<'_>> for u8

type Error = IntFromSExprError

The type returned in the event of a conversion error.

fn try_from(value: SExprData<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SExprData<'_>> for usize

type Error = IntFromSExprError

The type returned in the event of a conversion error.

fn try_from(value: SExprData<'_>) -> Result<Self, Self::Error>

Performs the conversion.