fn calc_satisfiable(
    _conjunction: &Vec<String>,
    _sk: &Vec<BdabeSecretAttributeKey>,
) -> (bn::G1, bn::G2) {
    let mut ret: (bn::G1, bn::G2) = (G1::one(), G2::one());
    for _i in 0usize.._conjunction.len() {
        match _sk
            .into_iter()
            .find(|&x| x._str == _conjunction[_i].to_string())
        {
            None => {}
            Some(_found) => {
                if _i == 0 {
                    ret = (_found._au1, _found._au2);
                } else {
                    ret = (ret.0 + _found._au1, ret.1 + _found._au2);
                }
            }
        }
    }
    ret
}
/// MKE08 Scheme helper function: calc_satisfiable
/// Calculates the Conjunction of Attributes (a part of an access policy in DNF) using a Vector of Mke08SecretAttributeKeys
///
/// # Arguments
///
///	* `_conjunction` - A Conjunction of attributes given as String Vector
///	* `_sk` - A Vector of Mke08SecretAttributeKeys
///
MKE08 Scheme helper function: calc_satisfiable
Calculates the Conjunction of Attributes (a part of an access policy in DNF) using a Vector of Mke08SecretAttributeKeys
MKE08 Scheme helper function : calc_satisfiable Calculates the Conjunction of Attributes ( a part of an access policy in DNF ) using a Vector of Mke08SecretAttributeKeys
fn calc_satisfiable(
    _conjunction: &Vec<String>,
    _sk: &Vec<BdabeSecretAttributeKey>,
) -> (bn::G1, bn::G2) {
    let mut ret: (bn::G1, bn::G2) = (G1::one(), G2::one());
    for _i in 0usize.._conjunction.len() {
        match _sk
            .into_iter()
            .find(|&x| x._str == _conjunction[_i].to_string())
        {
            None => {}
            Some(_found) => {
                if _i == 0 {
                    ret = (_found._au1, _found._au2);
                } else {
                    ret = (ret.0 + _found._au1, ret.1 + _found._au2);
                }
            }
        }
    }
    ret
}
fn calc_satisfiable ( _conjunction : & Vec < String > , _sk : & Vec < BdabeSecretAttributeKey > , ) -> ( bn :: G1 , bn :: G2 ) { let mut ret : ( bn :: G1 , bn :: G2 ) = ( G1 :: one ( ) , G2 :: one ( ) ) ; for _i in 0usize .. _conjunction . len ( ) { match _sk . into_iter ( ) . find ( | & x | x . _str == _conjunction [ _i ] . to_string ( ) ) { None => { } Some ( _found ) => { if _i == 0 { ret = ( _found . _au1 , _found . _au2 ) ; } else { ret = ( ret . 0 + _found . _au1 , ret . 1 + _found . _au2 ) ; } } } } ret }
MKE08 Scheme helper function: calc_satisfiable
Calculates the Conjunction of Attributes (a part of an access policy in DNF) using a Vector of Mke08SecretAttributeKeys
MKE08 Scheme helper function : calc_satisfiable Calculates the Conjunction of Attributes ( a part of an access policy in DNF ) using a Vector of Mke08SecretAttributeKeys
_conjunction
&Vec<String>
_sk
&Vec<BdabeSecretAttributeKey>
_conjunction
&Vec<String>
_sk
&Vec<BdabeSecretAttributeKey>