(self, names: Set[str])
return pointers, has_unknown
:param names: Potential values for the name of the environment variable to get the pointers of.
        :return:
            The potential addresses of the values the environment variable can take;
            And a boolean value telling whether all the names were known of the internal representation (i.e. will be
            False if one of the queried variable was not found).
:param names: Potential values for the name of the environment variable to get the pointers of.
        :return:
            The potential addresses of the values the environment variable can take;
            And a boolean value telling whether all the names were known of the internal representation (i.e. will be
            False if one of the queried variable was not found).
: param names : Potential values for the name of the environment variable to get the pointers of . : return : The potential addresses of the values the environment variable can take ; And a boolean value telling whether all the names were known of the internal representation ( i . e . will be False if one of the queried variable was not found ) .
def get(self, names: Set[str]) -> Tuple[Set[claripy.ast.Base],bool]:
        """
        :param names: Potential values for the name of the environment variable to get the pointers of.
        :return:
            The potential addresses of the values the environment variable can take;
            And a boolean value telling whether all the names were known of the internal representation (i.e. will be
            False if one of the queried variable was not found).
        """
        has_unknown = not all(map(lambda name: name in self._environment.keys(), names))

        def _get(name):
            if not isinstance(name, (str, Undefined)):
                raise TypeError("get(): Expected str, or Undefined, got %s" % type(name).__name__)
            return self._environment.get(name, {UNDEFINED})

        pointers = set()
        for values in map(_get, names):
            pointers |= values

        return pointers, has_unknown
def get ( self , names : Set [ str ] ) -> Tuple [ Set [ claripy . ast . Base ] , bool ] : has_unknown = not all ( map ( lambda name : name in self . _environment . keys ( ) , names ) ) def _get ( name ) : if not isinstance ( name , ( str , Undefined ) ) : raise TypeError ( "get(): Expected str, or Undefined, got %s" % type ( name ) . __name__ ) return self . _environment . get ( name , { UNDEFINED } ) pointers = set ( ) for values in map ( _get , names ) : pointers |= values return pointers , has_unknown