Database labeller. More...

#include <MagicSet.h>

Inheritance diagram for souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer:

Collaboration diagram for souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer:

Data Structures
class	NegativeLabellingTransformer
	Runs the first stage of the labelling algorithm. More...

class	PositiveLabellingTransformer
	Runs the second stage of the labelling algorithm. More...

Public Member Functions
LabelDatabaseTransformer *	clone () const override

std::string	getName () const override

	LabelDatabaseTransformer ()

Public Member Functions inherited from souffle::ast::transform::PipelineTransformer
PipelineTransformer *	clone () const override

void	disableTransformers (const std::set< std::string > &transforms) override

std::string	getName () const override

std::vector< Transformer * >	getSubtransformers () const override

template<typename... Args>
	PipelineTransformer (Args... args)

	PipelineTransformer (VecOwn< Transformer > pipeline)

void	setDebugReport () override

void	setVerbosity (bool verbose) override

Public Member Functions inherited from souffle::ast::transform::MetaTransformer
bool	applySubtransformer (TranslationUnit &translationUnit, Transformer *transformer)

Public Member Functions inherited from souffle::ast::transform::Transformer
bool	apply (TranslationUnit &translationUnit)

virtual	~Transformer ()=default

Static Private Member Functions
static bool	isNegativelyLabelled (const QualifiedName &name)
	Check if a relation is negatively labelled. More...

Additional Inherited Members
Protected Member Functions inherited from souffle::ast::transform::PipelineTransformer
bool	transform (TranslationUnit &translationUnit) override

Protected Attributes inherited from souffle::ast::transform::PipelineTransformer
VecOwn< Transformer >	pipeline

Protected Attributes inherited from souffle::ast::transform::MetaTransformer
bool	verbose = false

Detailed Description

Database labeller.

Runs the magic-set labelling algorithm. Necessary for supporting negation in MST.

Definition at line 159 of file MagicSet.h.

Constructor & Destructor Documentation

◆ LabelDatabaseTransformer()

souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer::LabelDatabaseTransformer ( )

inline

Definition at line 164 of file MagicSet.h.

165 : PipelineTransformer(mk<NegativeLabellingTransformer>(), mk<PositiveLabellingTransformer>()) {}

Referenced by clone().

Member Function Documentation

◆ clone()

LabelDatabaseTransformer* souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer::clone ( ) const

inlineoverridevirtual

Implements souffle::ast::transform::MetaTransformer.

Definition at line 171 of file MagicSet.h.

                                                      {
         return new LabelDatabaseTransformer();
     }

References LabelDatabaseTransformer().

Here is the call graph for this function:

◆ getName()

std::string souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer::getName ( ) const

inlineoverridevirtual

Implements souffle::ast::transform::Transformer.

Definition at line 167 of file MagicSet.h.

                                        {
         return "LabelDatabaseTransformer";
     }

◆ isNegativelyLabelled()

bool souffle::ast::transform::LabelDatabaseTransformer::isNegativelyLabelled ( const QualifiedName & name )

staticprivate

Check if a relation is negatively labelled.

Definition at line 795 of file MagicSet.cpp.

                                                                              {
     const auto& sccGraph = *translationUnit.getAnalysis<analysis::SCCGraphAnalysis>();
     Program& program = translationUnit.getProgram();
  
     std::set<QualifiedName> relationsToLabel;

References souffle::ast::TranslationUnit::getAnalysis(), and souffle::ast::TranslationUnit::getProgram().

Here is the call graph for this function:

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

ast/transform/MagicSet.h
ast/transform/MagicSet.cpp

Data Structures

Public Member Functions

Static Private Member Functions