(self, block_addr)
return set()
Get variables that are defined at the specified block.

        :param int block_addr:  Address of the block.
        :return:                A set of variables.
Get variables that are defined at the specified block.
Get variables that are defined at the specified block .
def get_variable_definitions(self, block_addr):
        """
        Get variables that are defined at the specified block.

        :param int block_addr:  Address of the block.
        :return:                A set of variables.
        """

        if block_addr in self._outstates:
            return self._outstates[block_addr].variables
        return set()
def get_variable_definitions ( self , block_addr ) : if block_addr in self . _outstates : return self . _outstates [ block_addr ] . variables return set ( )