smt_lang::problem

Trait WithExpr

Source 
pub trait WithExpr:
    Clone
    + Sized
    + WithPosition
    + WithType {
    // Required methods
    fn expr(&self) -> &Option<Expr>;
    fn set_expr(&mut self, expr: Option<Expr>);
    fn entries(&self) -> Entries;

    // Provided methods
    fn resolve_type_expr(&mut self, entries: &TypeEntries) -> Result<(), Error> { ... }
    fn resolve_expr(
        &self,
        problem: &Problem,
        entries: &Entries,
    ) -> Result<Self, Error> { ... }
    fn check_parameter_size(&self, problem: &Problem) -> Result<(), Error> { ... }
    fn check_type(&self, problem: &Problem) -> Result<(), Error> { ... }
}

Required Methods§

Source

fn expr(&self) -> &Option<Expr>

Source

fn set_expr(&mut self, expr: Option<Expr>)

Source

fn entries(&self) -> Entries

Provided Methods§

Source

fn resolve_type_expr(&mut self, entries: &TypeEntries) -> Result<(), Error>

Source

fn resolve_expr( &self, problem: &Problem, entries: &Entries, ) -> Result<Self, Error>

Source

fn check_parameter_size(&self, problem: &Problem) -> Result<(), Error>

Source

fn check_type(&self, problem: &Problem) -> Result<(), Error>

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§