Clingo
|
This is the complete list of members for CppClingo::Ground::ProfileNodeInternal, including all inherited members.
accept(Visitor const &visit, size_t depth) const | CppClingo::Ground::ProfileNode | inline |
add_child(std::unique_ptr< T > child) -> T & | CppClingo::Ground::ProfileNodeInternal | inline |
begin_step() | CppClingo::Ground::ProfileNode | inlinevirtual |
combine(ProfileStats &stats, ProfileType type, bool nested) const | CppClingo::Ground::ProfileNode | inlinevirtual |
end_step() | CppClingo::Ground::ProfileNode | inlinevirtual |
equal(ProfileNode const &node) const -> bool | CppClingo::Ground::ProfileNode | inline |
operator=(ProfileNode const &other) -> ProfileNode &=delete | CppClingo::Ground::ProfileNode | |
print(std::ostream &out, ProfileIndent indent, ProfileDetail detail, ProfileType type) const | CppClingo::Ground::ProfileNode | inline |
ProfileNode()=default | CppClingo::Ground::ProfileNode | |
ProfileNode(ProfileNode const &other)=delete | CppClingo::Ground::ProfileNode | |
score(ProfileType type) const -> double | CppClingo::Ground::ProfileNode | inlinevirtual |
Visitor typedef | CppClingo::Ground::ProfileNode | |
~ProfileNode()=default | CppClingo::Ground::ProfileNode | virtual |