fn constraints_as_expression(&self) -> Result<il::Expression> {
        let path_constraints = self.path_constraints();

        Ok(if path_constraints.is_empty() {
            il::expr_const(1, 1)
        } else if path_constraints.len() == 1 {
            path_constraints[0].clone()
        } else {
            let mut expr = path_constraints[0].clone();
            for path_constraint in path_constraints.iter().skip(1) {
                expr = il::Expression::and(expr, path_constraint.clone())?;
            }
            expr
        })
    }
/// Combine the constraints for this state into one expression combined with
/// `il::Expression::And`
Combine the constraints for this state into one expression combined with
`il::Expression::And`
Combine the constraints for this state into one expression combined with ` il :: Expression :: And `
fn constraints_as_expression(&self) -> Result<il::Expression> {
        let path_constraints = self.path_constraints();
        Ok(if path_constraints.is_empty() {
            il::expr_const(1, 1)
        } else if path_constraints.len() == 1 {
            path_constraints[0].clone()
        } else {
            let mut expr = path_constraints[0].clone();
            for path_constraint in path_constraints.iter().skip(1) {
                expr = il::Expression::and(expr, path_constraint.clone())?;
            }
            expr
        })
    }
fn constraints_as_expression ( & self ) -> Result < il :: Expression > { let path_constraints = self . path_constraints ( ) ; Ok ( if path_constraints . is_empty ( ) { il :: expr_const ( 1 , 1 ) } else if path_constraints . len ( ) == 1 { path_constraints [ 0 ] . clone ( ) } else { let mut expr = path_constraints [ 0 ] . clone ( ) ; for path_constraint in path_constraints . iter ( ) . skip ( 1 ) { expr = il :: Expression :: and ( expr , path_constraint . clone ( ) ) ? ; } expr } ) }
Combine the constraints for this state into one expression combined with
`il::Expression::And`
Combine the constraints for this state into one expression combined with ` il :: Expression :: And `
&self