C++ Reference: drat_writer
Note: This documentation is automatically generated.
Classes |
|
|---|---|
| DratWriter | |
| File | |
- 本页内容
- Classes
Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 4.0 License, and code samples are licensed under the Apache 2.0 License. For details, see the Google Developers Site Policies. Java is a registered trademark of Oracle and/or its affiliates.
Last updated 2024-08-06 UTC.
[null,null,["Last updated 2024-08-06 UTC."],[[["The content pertains to the C++ reference documentation for `drat_writer`."],["The documentation is automatically generated."],["Two classes are detailed within this `drat_writer` reference: `DratWriter` and `File`."]]],["The content outlines two C++ classes related to a \"drat_writer\": `DratWriter` and `File`. `DratWriter` is a primary class, presumably for writing data in the DRAT (Deletion Resolution Asymmetric Tautology) format, likely used in SAT (Satisfiability) solving. The `File` class is also present, suggesting it handles file interactions related to DRAT writing operations. This documentation is automatically generated, according to the text provided.\n"]]