GDSII.py 文件源码

def recordClip(self):
        '''
        recordClip()

        Clip trailing zeros from the record parameter
        '''
        self._record = np.delete(self._record,np.s_[self._recordIndex::],0)