CppClingo::Ground::ProfileIndent Struct Reference

Helper to print indentation. More...

#include <profile.hh>

Public Member Functions
	ProfileIndent (size_t level, size_t width=2)
	Construct the indent with the given amount.

Friends
auto	operator<< (std::ostream &out, ProfileIndent const &indent) -> std::ostream &
	Print the given indentation to the given output stream.
auto	operator+ (ProfileIndent const &indent, size_t add) -> ProfileIndent
	Add indentation to the given indent.
auto	operator+= (ProfileIndent &indent, size_t add) -> ProfileIndent &
	Add indentation to the current indent (inplace).

Detailed Description

Helper to print indentation.

---

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

• clingo/ground/profile.hh