Searched defs:to_nice_string (Results 1 – 2 of 2) sorted by relevance
452 std::string relation_manager::to_nice_string(const relation_element & el) const { in to_nice_string() function in datalog::relation_manager464 …std::string relation_manager::to_nice_string(const relation_sort & s, const relation_element & el)… in to_nice_string() function in datalog::relation_manager476 std::string relation_manager::to_nice_string(const relation_sort & s) const { in to_nice_string() function in datalog::relation_manager482 std::string relation_manager::to_nice_string(const relation_signature & s) const { in to_nice_string() function in datalog::relation_manager