def is_regular(self, ino): attr = self._inode.get_iattr(ino) return And(self.is_valid(ino), attr.mode & S_IFDIR == 0) ###