souffle::ram::analysis Namespace Reference

Namespaces
	test

Data Structures
class	Analysis
	Abstract class for a RAM Analysis. More...
class	ComplexityAnalysis
	A Ram Analysis for determining the number of relational operations in a condition / expression. More...
class	IndexAnalysis
class	LevelAnalysis
	A Ram Analysis for determining the level of a expression/condition. More...
class	MaxMatching
class	MinIndexSelection
class	RelationAnalysis
	A RAM Analysis for finding relations by name. More...
class	SearchSignature
	search signature of a RAM operation; each bit represents an attribute of a relation. More...

Enumerations
enum	AttributeConstraint { AttributeConstraint::None, AttributeConstraint::Equal, AttributeConstraint::Inequal }

Functions
std::ostream &	operator<< (std::ostream &out, const SearchSignature &signature)

Enumeration Type Documentation

AttributeConstraint

enum souffle::ram::analysis::AttributeConstraint

strong

Enumerator
None
Equal
Inequal

Definition at line 47 of file Index.h.

{ None, Equal, Inequal };

Function Documentation

operator<<()

std::ostream & souffle::ram::analysis::operator<<	(	std::ostream &	out,
		const SearchSignature &	signature
	)

Definition at line 158 of file Index.cpp.

                                           : out << 2; break;
        }
    }
    return out;
}
 
void MaxMatching::addEdge(Node u, Node v) {
    assert(u >= 1 && v >= 1 && "Nodes must be greater than or equal to 1");
    if (graph.find(u) == graph.end()) {
        Edges vals;
        vals.insert(v);