souffle::Global Class Reference

#include <Global.h>

Collaboration diagram for souffle::Global:

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

Static Public Member Functions
static MainConfig &	config ()

Private Member Functions
	Global ()=default

Detailed Description

Definition at line 134 of file Global.h.

Constructor & Destructor Documentation

Global() [1/2]

souffle::Global::Global ( const Global &  )

delete

Global() [2/2]

souffle::Global::Global ( )

privatedefault

Member Function Documentation

config()

static MainConfig& souffle::Global::config ( )

inlinestatic

Definition at line 141 of file Global.h.

Referenced by souffle::ParserDriver::addDeprecatedTag(), souffle::main(), souffle::ParserDriver::mkDeprecatedSubType(), souffle::ast::transform::SemanticChecker::transform(), souffle::ast::transform::ReorderLiteralsTransformer::transform(), souffle::ast2ram::AstToRamTranslator::translateNonRecursiveRelation(), and souffle::ast::TranslationUnit::TranslationUnit().

operator=()

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

delete

---

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

• Global.h