fn is_satisfiable(_conjunction: &Vec<String>, _sk: &Vec<BdabeSecretAttributeKey>) -> bool {
    let mut _ret: bool = true;
    for _attr in _conjunction {
        match _sk.into_iter().find(|&x| x._str == *_attr) {
            None => {
                _ret = false;
                break;
            }
            Some(_attr_sk) => {}
        }
    }
    _ret
}
/// BDABE Scheme helper function: is_satisfiable
/// Checks if a Conjunction of Attributes (a part of an access policy in DNF) is satisfied by the vector of secret attribute keys
/// Returns true if satisfiable.
///
/// # Arguments
///
///	* `_conjunction` - A Conjunction of attributes given as String Vector
///	* `_sk` - A Vector of Mke08SecretAttributeKeys
///
BDABE Scheme helper function: is_satisfiable
Checks if a Conjunction of Attributes (a part of an access policy in DNF) is satisfied by the vector of secret attribute keys
Returns true if satisfiable.
BDABE Scheme helper function : is_satisfiable Checks if a Conjunction of Attributes ( a part of an access policy in DNF ) is satisfied by the vector of secret attribute keys Returns true if satisfiable .
fn is_satisfiable(_conjunction: &Vec<String>, _sk: &Vec<BdabeSecretAttributeKey>) -> bool {
    let mut _ret: bool = true;
    for _attr in _conjunction {
        match _sk.into_iter().find(|&x| x._str == *_attr) {
            None => {
                _ret = false;
                break;
            }
            Some(_attr_sk) => {}
        }
    }
    _ret
}
fn is_satisfiable ( _conjunction : & Vec < String > , _sk : & Vec < BdabeSecretAttributeKey > ) -> bool { let mut _ret : bool = true ; for _attr in _conjunction { match _sk . into_iter ( ) . find ( | & x | x . _str == * _attr ) { None => { _ret = false ; break ; } Some ( _attr_sk ) => { } } } _ret }
BDABE Scheme helper function: is_satisfiable
Checks if a Conjunction of Attributes (a part of an access policy in DNF) is satisfied by the vector of secret attribute keys
Returns true if satisfiable.
BDABE Scheme helper function : is_satisfiable Checks if a Conjunction of Attributes ( a part of an access policy in DNF ) is satisfied by the vector of secret attribute keys Returns true if satisfiable .
_conjunction
&Vec<String>
_sk
&Vec<BdabeSecretAttributeKey>
_conjunction
&Vec<String>
_sk
&Vec<BdabeSecretAttributeKey>