souffle::ExplainProvenance Class Reference

#include <ExplainProvenance.h>

Inheritance diagram for souffle::ExplainProvenance:

Collaboration diagram for souffle::ExplainProvenance:

Public Member Functions
virtual Own< TreeNode >	explain (std::string relName, std::vector< std::string > tuple, size_t depthLimit)=0
virtual Own< TreeNode >	explainNegation (std::string relName, size_t ruleNum, const std::vector< std::string > &tuple, std::map< std::string, std::string > &bodyVariables)=0
virtual std::vector< std::string >	explainNegationGetVariables (std::string relName, std::vector< std::string > args, size_t ruleNum)=0
	ExplainProvenance (SouffleProgram &prog)
virtual Own< TreeNode >	explainSubproof (std::string relName, RamDomain label, size_t depthLimit)=0
virtual std::string	getRule (std::string relName, size_t ruleNum)=0
virtual std::vector< std::string >	getRules (const std::string &relName)=0
virtual std::string	measureRelation (std::string relName)=0
virtual void	printRulesJSON (std::ostream &os)=0
virtual void	queryProcess (const std::vector< std::pair< std::string, std::vector< std::string >>> &rels)=0
	Process query with given arguments. More...
virtual void	setup ()=0
virtual	~ExplainProvenance ()=default

Protected Member Functions
std::vector< RamDomain >	argsToNums (const std::string &relName, const std::vector< std::string > &args) const
std::vector< std::string >	decodeArguments (const std::string &relName, const std::vector< RamDomain > &nums) const
	Decode arguments from their ram representation and return as strings. More...
RamDomain	valueRead (const char type, const std::string &value) const
std::string	valueShow (const char type, const RamDomain value) const

Protected Attributes
SouffleProgram &	prog
SymbolTable &	symTable

Detailed Description

Definition at line 165 of file ExplainProvenance.h.

Constructor & Destructor Documentation

ExplainProvenance()

souffle::ExplainProvenance::ExplainProvenance ( SouffleProgram &  prog )

inline

Definition at line 167 of file ExplainProvenance.h.

~ExplainProvenance()

virtual souffle::ExplainProvenance::~ExplainProvenance ( )

virtualdefault

Member Function Documentation

argsToNums()

std::vector<RamDomain> souffle::ExplainProvenance::argsToNums ( const std::string &  relName, const std::vector< std::string > &  args  ) const

inlineprotected

Definition at line 200 of file ExplainProvenance.h.

                                                 {
            nums.push_back(valueRead(rel->getAttrType(i)[0], args[i]));
        }
 
        return nums;
    }
 
    /**
     * Decode arguments from their ram representation and return as strings.
     **/
    std::vector<std::string> decodeArguments(
            const std::string& relName, const std::vector<RamDomain>& nums) const {

decodeArguments()

std::vector<std::string> souffle::ExplainProvenance::decodeArguments ( const std::string &  relName, const std::vector< RamDomain > &  nums  ) const

inlineprotected

Decode arguments from their ram representation and return as strings.

Definition at line 219 of file ExplainProvenance.h.

                                                 {
            args.push_back(valueShow(rel->getAttrType(i)[0], nums[i]));
        }
 
        return args;
    }
 
    std::string valueShow(const char type, const RamDomain value) const {
        switch (type) {
            case 'i': return tfm::format("%d", ramBitCast<RamSigned>(value));
            case 'u': return tfm::format("%d", ramBitCast<RamUnsigned>(value));
            case 'f': return tfm::format("%f", ramBitCast<RamFloat>(value));

explain()

virtual Own<TreeNode> souffle::ExplainProvenance::explain ( std::string  relName, std::vector< std::string >  tuple, size_t  depthLimit  )

pure virtual

Implemented in souffle::ExplainProvenanceImpl.

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

explainNegation()

virtual Own<TreeNode> souffle::ExplainProvenance::explainNegation ( std::string  relName, size_t  ruleNum, const std::vector< std::string > &  tuple, std::map< std::string, std::string > &  bodyVariables  )

pure virtual

Implemented in souffle::ExplainProvenanceImpl.

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

explainNegationGetVariables()

virtual std::vector<std::string> souffle::ExplainProvenance::explainNegationGetVariables ( std::string  relName, std::vector< std::string >  args, size_t  ruleNum  )

pure virtual

Implemented in souffle::ExplainProvenanceImpl.

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

explainSubproof()

virtual Own<TreeNode> souffle::ExplainProvenance::explainSubproof ( std::string  relName, RamDomain  label, size_t  depthLimit  )

pure virtual

Implemented in souffle::ExplainProvenanceImpl.

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

getRule()

virtual std::string souffle::ExplainProvenance::getRule ( std::string  relName, size_t  ruleNum  )

pure virtual

Implemented in souffle::ExplainProvenanceImpl.

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

getRules()

virtual std::vector<std::string> souffle::ExplainProvenance::getRules ( const std::string &  relName )

pure virtual

Implemented in souffle::ExplainProvenanceImpl.

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

measureRelation()

virtual std::string souffle::ExplainProvenance::measureRelation ( std::string  relName )

pure virtual

Implemented in souffle::ExplainProvenanceImpl.

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

printRulesJSON()

virtual void souffle::ExplainProvenance::printRulesJSON ( std::ostream &  os )

pure virtual

Implemented in souffle::ExplainProvenanceImpl.

queryProcess()

virtual void souffle::ExplainProvenance::queryProcess ( const std::vector< std::pair< std::string, std::vector< std::string >>> &  rels )

pure virtual

Process query with given arguments.

Parameters

rels,vector

of relation, argument pairs

Implemented in souffle::ExplainProvenanceImpl.

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

setup()

virtual void souffle::ExplainProvenance::setup ( )

pure virtual

Implemented in souffle::ExplainProvenanceImpl.

valueRead()

RamDomain souffle::ExplainProvenance::valueRead ( const char  type, const std::string &  value  ) const

inlineprotected

Definition at line 246 of file ExplainProvenance.h.

                    : fatal("not implemented");
            default: fatal("unhandled type attr code");
        }
    }
};
 
}  // end of namespace souffle

valueShow()

std::string souffle::ExplainProvenance::valueShow ( const char  type, const RamDomain  value  ) const

inlineprotected

Definition at line 235 of file ExplainProvenance.h.

                    : return tfm::format("record #%d", value);
            default: fatal("unhandled type attr code");
        }
    }
 
    RamDomain valueRead(const char type, const std::string& value) const {
        switch (type) {
            case 'i': return ramBitCast(RamSignedFromString(value));
            case 'u': return ramBitCast(RamUnsignedFromString(value));
            case 'f': return ramBitCast(RamFloatFromString(value));

Field Documentation

prog

SouffleProgram& souffle::ExplainProvenance::prog

protected

Definition at line 197 of file ExplainProvenance.h.

symTable

SymbolTable& souffle::ExplainProvenance::symTable

protected

Definition at line 198 of file ExplainProvenance.h.

---

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

• include/souffle/provenance/ExplainProvenance.h