Trait dypdl::CheckExpression

source · 
pub trait CheckExpression<T> {
    // Required method
    fn check_expression(
        &self,
        expression: &T,
        allow_cost: bool,
    ) -> Result<(), ModelErr>;
}
Expand description

Trait for checking if an expression is valid.

Required Methods§

source

fn check_expression( &self, expression: &T, allow_cost: bool, ) -> Result<(), ModelErr>

Checks if an expression is valid.

§Errors

If the expression is invalid, e.., it uses not existing variables or the state of the transitioned state.

Implementors§