souffle::ExplainConfig Class Reference

#include <Explain.h>

Collaboration diagram for souffle::ExplainConfig:

Public Member Functions
	ExplainConfig (const ExplainConfig &)=delete
ExplainConfig &	operator= (const ExplainConfig &)=delete

Static Public Member Functions
static ExplainConfig &	getExplainConfig ()

Data Fields
int	depthLimit = 4
bool	json = false
Own< std::ostream >	outputStream = nullptr

Private Member Functions
	ExplainConfig ()=default

Detailed Description

Definition at line 45 of file Explain.h.

Constructor & Destructor Documentation

ExplainConfig() [1/2]

souffle::ExplainConfig::ExplainConfig ( const ExplainConfig &  )

delete

ExplainConfig() [2/2]

souffle::ExplainConfig::ExplainConfig ( )

privatedefault

Member Function Documentation

getExplainConfig()

static ExplainConfig& souffle::ExplainConfig::getExplainConfig ( )

inlinestatic

Definition at line 54 of file Explain.h.

                                             {
        static ExplainConfig config;
        return config;
    }

Referenced by souffle::Explain::processCommand().

operator=()

ExplainConfig& souffle::ExplainConfig::operator= ( const ExplainConfig &  )

delete

Field Documentation

depthLimit

int souffle::ExplainConfig::depthLimit = 4

Definition at line 62 of file Explain.h.

Referenced by souffle::Explain::processCommand().

json

bool souffle::ExplainConfig::json = false

Definition at line 61 of file Explain.h.

Referenced by souffle::Explain::processCommand().

outputStream

Own<std::ostream> souffle::ExplainConfig::outputStream = nullptr

Definition at line 60 of file Explain.h.

Referenced by souffle::Explain::processCommand().

---

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

• include/souffle/provenance/Explain.h