pub fn symbolize_and_eval(&self, expression: &il::Expression) -> Result<Option<il::Constant>> {
        let expression = self.symbolize_expression(expression)?;

        self.eval(&expression)
    }
/// Symbolize the given expression, replacing all scalars with the symbolic
/// values held in this state, and evaluate the expression to a single
/// concrete value.
Symbolize the given expression, replacing all scalars with the symbolic
values held in this state, and evaluate the expression to a single
concrete value.
Symbolize the given expression replacing all scalars with the symbolic values held in this state and evaluate the expression to a single concrete value .
pub fn symbolize_and_eval(&self, expression: &il::Expression) -> Result<Option<il::Constant>> {
        let expression = self.symbolize_expression(expression)?;
        self.eval(&expression)
    }
pub fn symbolize_and_eval ( & self , expression : & il :: Expression ) -> Result < Option < il :: Constant > > { let expression = self . symbolize_expression ( expression ) ? ; self . eval ( & expression ) }
Symbolize the given expression, replacing all scalars with the symbolic
values held in this state, and evaluate the expression to a single
concrete value.
Symbolize the given expression replacing all scalars with the symbolic values held in this state and evaluate the expression to a single concrete value .
&self
expression
&il::Expression