That seems to be a separate claim unrelated to their patent claims. Patents themselves are required to have all of the information that would allow someone to implement what is in the patent. Of course, there could be many ways to implement it. And a specific implementation could be further protected by trade secrets. The part that would be a trade secret is inherently not in the patent.