Enum sspds::expressions::Expression

pub enum Expression {
    Typed(Type, Box<Expression>),
    Bot,
    Sample(Type),
    StringLiteral(String),
    IntegerLiteral(String),
    BooleanLiteral(String),
    Identifier(Identifier),
    TableAccess(Box<Identifier>, Box<Expression>),
    Tuple(Vec<Expression>),
    List(Vec<Expression>),
    FnCall(String, Vec<Expression>),
    OracleInvoc(String, Vec<Expression>),
    LowLevelOracleInvoc {
        name: String,
        pkgname: String,
        args: Vec<Expression>,
    },
    None(Type),
    Some(Box<Expression>),
    Unwrap(Box<Expression>),
    Not(Box<Expression>),
    Neg(Box<Expression>),
    Inv(Box<Expression>),
    Add(Box<Expression>, Box<Expression>),
    Sub(Box<Expression>, Box<Expression>),
    Mul(Box<Expression>, Box<Expression>),
    Div(Box<Expression>, Box<Expression>),
    Pow(Box<Expression>, Box<Expression>),
    Mod(Box<Expression>, Box<Expression>),
    Equals(Vec<Expression>),
    And(Vec<Expression>),
    Or(Vec<Expression>),
    Xor(Vec<Expression>),
    Sum(Box<Expression>),
    Prod(Box<Expression>),
    Any(Box<Expression>),
    All(Box<Expression>),
    Union(Box<Expression>),
    Cut(Box<Expression>),
    SetDiff(Box<Expression>),
    Concat(Vec<Expression>),
}

Variants

Typed(Type, Box<Expression>)

Bot

Sample(Type)

StringLiteral(String)

IntegerLiteral(String)

BooleanLiteral(String)

Identifier(Identifier)

TableAccess(Box<Identifier>, Box<Expression>)

Tuple(Vec<Expression>)

List(Vec<Expression>)

FnCall(String, Vec<Expression>)

OracleInvoc(String, Vec<Expression>)

LowLevelOracleInvoc

Fields of LowLevelOracleInvoc

name: Stringpkgname: Stringargs: Vec<Expression>

None(Type)

Some(Box<Expression>)

Unwrap(Box<Expression>)

Not(Box<Expression>)

Neg(Box<Expression>)

Inv(Box<Expression>)

Add(Box<Expression>, Box<Expression>)

Sub(Box<Expression>, Box<Expression>)

Mul(Box<Expression>, Box<Expression>)

Div(Box<Expression>, Box<Expression>)

Pow(Box<Expression>, Box<Expression>)

Mod(Box<Expression>, Box<Expression>)

Equals(Vec<Expression>)

And(Vec<Expression>)

Or(Vec<Expression>)

Xor(Vec<Expression>)

Sum(Box<Expression>)

Prod(Box<Expression>)

Any(Box<Expression>)

All(Box<Expression>)

Union(Box<Expression>)

Cut(Box<Expression>)

SetDiff(Box<Expression>)

Concat(Vec<Expression>)

Implementations

impl Expression

pub fn map<F>(&self, f: F) -> Expression where
    F: Fn(Expression) -> Expression + Copy, 

pub fn new_equals(exprs: Vec<&Expression>) -> Expression

Trait Implementations

impl Clone for Expression

fn clone(&self) -> Expression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expression

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

Formats the value using the given formatter.

impl Eq for Expression

impl From<Expression> for SmtExpr

fn from(expr: Expression) -> SmtExpr

Performs the conversion.

impl Hash for Expression

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl PartialEq<Expression> for Expression

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

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

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

This method tests for !=.

impl StructuralEq for Expression

impl StructuralPartialEq for Expression