souffle::ConstConstraint Class Reference

Constant constraints for values in query command. More...

#include <ExplainProvenance.h>

Collaboration diagram for souffle::ConstConstraint:

Public Member Functions
	ConstConstraint ()=default
	Constructor. More...
std::vector< std::pair< std::pair< size_t, size_t >, RamDomain > > &	getConstraints ()
	Get the constant constraint vector. More...
const std::vector< std::pair< std::pair< size_t, size_t >, RamDomain > > &	getConstraints () const
void	push_back (std::pair< std::pair< size_t, size_t >, RamDomain > constr)
	Add constant constraint at the end of constConstrs vector. More...
bool	verify (const std::vector< tuple > &product) const
	Verify if the query product satisfies constant constraint. More...
	~ConstConstraint ()=default
	Destructor. More...

Private Attributes
std::vector< std::pair< std::pair< size_t, size_t >, RamDomain > >	constConstrs

Detailed Description

Constant constraints for values in query command.

Definition at line 112 of file ExplainProvenance.h.

Constructor & Destructor Documentation

ConstConstraint()

souffle::ConstConstraint::ConstConstraint ( )

default

Constructor.

~ConstConstraint()

souffle::ConstConstraint::~ConstConstraint ( )

default

Destructor.

Member Function Documentation

getConstraints() [1/2]

std::vector<std::pair<std::pair<size_t, size_t>, RamDomain> >& souffle::ConstConstraint::getConstraints ( )

inline

Get the constant constraint vector.

Definition at line 133 of file ExplainProvenance.h.

       :
    std::vector<std::pair<std::pair<size_t, size_t>, RamDomain>> constConstrs;

Referenced by souffle::ExplainProvenanceImpl::queryProcess().

getConstraints() [2/2]

const std::vector<std::pair<std::pair<size_t, size_t>, RamDomain> >& souffle::ConstConstraint::getConstraints ( ) const

inline

Definition at line 137 of file ExplainProvenance.h.

push_back()

void souffle::ConstConstraint::push_back ( std::pair< std::pair< size_t, size_t >, RamDomain >  constr )

inline

Add constant constraint at the end of constConstrs vector.

Definition at line 121 of file ExplainProvenance.h.

                                                                                           {
            return product[constr.first.first][constr.first.second] == constr.second;
        });

Referenced by souffle::ExplainProvenanceImpl::queryProcess().

verify()

bool souffle::ConstConstraint::verify ( const std::vector< tuple > &  product ) const

inline

Verify if the query product satisfies constant constraint.

Definition at line 126 of file ExplainProvenance.h.

                                                                             {
        return constConstrs;
    }
 

References constConstrs.

Field Documentation

constConstrs

std::vector<std::pair<std::pair<size_t, size_t>, RamDomain> > souffle::ConstConstraint::constConstrs

private

Definition at line 142 of file ExplainProvenance.h.

Referenced by verify().

---

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

• include/souffle/provenance/ExplainProvenance.h