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