pub fn merged_constraints(&self) -> Vec<Vec<il::Expression>> {
        self.merged_constraints
            .iter()
            .map(|merged_constraints| {
                merged_constraints
                    .iter()
                    .map(|mc| {
                        HASH_EXPRESSION_STORE
                            .read()
                            .unwrap()
                            .expression(mc)
                            .unwrap()
                    })
                    .collect::<Vec<il::Expression>>()
            })
            .collect::<Vec<Vec<il::Expression>>>()
    }
/// Get the merged constraints for this `State`.
Get the merged constraints for this `State`.
Get the merged constraints for this ` State ` .
pub fn merged_constraints(&self) -> Vec<Vec<il::Expression>> {
        self.merged_constraints
            .iter()
            .map(|merged_constraints| {
                merged_constraints
                    .iter()
                    .map(|mc| {
                        HASH_EXPRESSION_STORE
                            .read()
                            .unwrap()
                            .expression(mc)
                            .unwrap()
                    })
                    .collect::<Vec<il::Expression>>()
            })
            .collect::<Vec<Vec<il::Expression>>>()
    }
pub fn merged_constraints ( & self ) -> Vec < Vec < il :: Expression > > { self . merged_constraints . iter ( ) . map ( | merged_constraints | { merged_constraints . iter ( ) . map ( | mc | { HASH_EXPRESSION_STORE . read ( ) . unwrap ( ) . expression ( mc ) . unwrap ( ) } ) . collect :: < Vec < il :: Expression > > ( ) } ) . collect :: < Vec < Vec < il :: Expression > > > ( ) }
Get the merged constraints for this `State`.
Get the merged constraints for this ` State ` .
&self