Enum Expression 

pub enum Expression {
    Bool(bool),
    Int(i64),
    Real(Fraction),
    PrefixUnary(PrefixUnaryOperator, Box<Expr>),
    Binary(Box<Expr>, BinaryOperator, Box<Expr>),
    Nary(NaryOperator, Vec<Expr>),
    EnumerateElement(EnumerateElementId),
    Declaration(DeclarationId),
    Definition(DefinitionId),
    FunDec(FunDecId),
    FunDef(FunDefId),
    LtlDefinition(LtlDefinitionId),
    Parameter(Parameter),
    Apply(Box<Expr>, Vec<Expr>),
    As(Box<Expr>, Type, Box<Expr>),
    Following(Box<Expr>),
    State(Box<Expr>, StateIndex, Option<Box<Expr>>),
    Scope(Vec<Expr>, Box<Expr>),
    IfThenElse(Box<Expr>, Box<Expr>, Vec<(Expr, Expr)>, Box<Expr>),
    Quantifier(QtOperator, Vec<Parameter>, Box<Expr>),
    LTLunary(LTLUnaryOperator, Box<Expr>),
    LTLbinary(Box<Expr>, LTLBinaryOperator, Box<Expr>),
    LTLVariable(LTLVariableId),
    Unresolved(String),
}

Variants

Bool(bool)

Int(i64)

Real(Fraction)

PrefixUnary(PrefixUnaryOperator, Box<Expr>)

Binary(Box<Expr>, BinaryOperator, Box<Expr>)

Nary(NaryOperator, Vec<Expr>)

EnumerateElement(EnumerateElementId)

Declaration(DeclarationId)

Definition(DefinitionId)

FunDec(FunDecId)

FunDef(FunDefId)

LtlDefinition(LtlDefinitionId)

Parameter(Parameter)

Apply(Box<Expr>, Vec<Expr>)

As(Box<Expr>, Type, Box<Expr>)

Following(Box<Expr>)

State(Box<Expr>, StateIndex, Option<Box<Expr>>)

Scope(Vec<Expr>, Box<Expr>)

IfThenElse(Box<Expr>, Box<Expr>, Vec<(Expr, Expr)>, Box<Expr>)

Quantifier(QtOperator, Vec<Parameter>, Box<Expr>)

LTLunary(LTLUnaryOperator, Box<Expr>)

LTLbinary(Box<Expr>, LTLBinaryOperator, Box<Expr>)

LTLVariable(LTLVariableId)

Unresolved(String)

Implementations

impl Expression

pub fn get_type(&self, model: &Model) -> Type

Trait Implementations

impl Clone for Expression

fn clone(&self) -> Expression

Returns a duplicate 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 From<Expression> for Expr

fn from(value: Expression) -> Self

Converts to this type from the input type.

impl Into<Expression> for &Entry

fn into(self) -> Expression

Converts this type into the (usually inferred) input type.

impl ToDebug for Expression

fn to_debug(&self, model: &Model) -> String

impl ToLang for Expression

fn to_lang(&self, model: &Model) -> String