owlcpp::Node_id Class Reference

Term identifier. More...

#include <node_id.hpp>

Public Member Functions
	Node_id (const unsigned x)

Detailed Description

Term identifier.

Examples:

satisfiable.cpp.

---

The documentation for this class was generated from the following file:

• include/owlcpp/node_id.hpp