cap2str.h File Reference
Include dependency graph for cap2str.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Namespaces | |
| zyppng::sat::detail | |
| CLASS NAME : detail::DIWrap. | |
Functions | |
| const char * | zyppng::sat::detail::cap2str (CPool *pool_r, IdType id_r, int parop_r=0) |
| Shared logic to convert a sat ID into a human readable string. More... | |
| void | zyppng::sat::detail::cap2str (std::string &outs_r, CPool *pool_r, IdType id_r, int parop_r) |
| Shared logic to convert a sat ID into a human readable string. More... | |
| const char * | zyppng::sat::detail::capRel2Str (int op_r) |
| Convert a relation operator to its string representation. More... | |
