Clingo::ProfileNodeInternal Struct Reference

Class to hold profiling data for an expression in a logic program. More...

#include <control.hh>

Public Member Functions
	ProfileNodeInternal (std::string key, bool nested)
	Constructs a profile internal node with the given key.

Public Attributes
std::string	key
	The key of the profile node.
bool	nested
	Whether times are included in the parent.
std::vector< ProfileNode >	children
	The children of the profile node.

Detailed Description

Class to hold profiling data for an expression in a logic program.

Constructor & Destructor Documentation

ProfileNodeInternal()

Clingo::ProfileNodeInternal::ProfileNodeInternal ( std::string  key, bool  nested  )

inline

Constructs a profile internal node with the given key.

Parameters

key	the key of the profile node
nested	whether times are included in the parent

---

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

• clingo/control.hh