souffle::ram::TestAutoIndex Class Reference

Inheritance diagram for souffle::ram::TestAutoIndex:

Collaboration diagram for souffle::ram::TestAutoIndex:

Public Member Functions
int	getNumMatchings ()
	returns number of unique matchings More...
	TestAutoIndex ()
Public Member Functions inherited from souffle::ram::analysis::MinIndexSelection
void	addSearch (SearchSignature cols)
	@Brief Add new key to an Index Set More...
const ChainOrderMap	getAllChains () const
	@Brief Get all chains More...
const OrderCollection	getAllOrders () const
	@Brief Get all indexes More...
AttributeSet	getAttributesToDischarge (const SearchSignature &s, const Relation &rel)
	Return the attribute position for each indexed operation that should be discharged. More...
const LexOrder &	getLexOrder (SearchSignature cols) const
	@Brief Get index for a search More...
int	getLexOrderNum (SearchSignature cols) const
	@Brief Get index for a search More...
const SearchSet &	getSearches () const
	@Brief Get searches More...
void	insertDefaultTotalIndex (size_t arity)
	@Brief insert a total order index More...
bool	isSubset (SearchSignature cols) const
	Check whether number of constraints in k is not equal to number of columns in lexicographical order. More...
	MinIndexSelection ()=default
void	print (std::ostream &os)
void	solve ()
	@Brief map the keys in the key set to lexicographical order More...
	~MinIndexSelection ()=default

Additional Inherited Members
Public Types inherited from souffle::ram::analysis::MinIndexSelection
using	AttributeIndex = uint32_t
using	AttributeSet = std::unordered_set< AttributeIndex >
using	Chain = std::vector< SearchSignature >
using	ChainOrderMap = std::list< Chain >
using	DischargeMap = std::unordered_map< SearchSignature, AttributeSet, SearchSignature::Hasher >
using	IndexSignatureMap = std::unordered_map< AttributeIndex, SearchSignature >
using	LexOrder = std::vector< AttributeIndex >
using	OrderCollection = std::vector< LexOrder >
using	SearchSet = std::set< SearchSignature, SearchComparator >
using	SignatureIndexMap = std::unordered_map< SearchSignature, AttributeIndex, SearchSignature::Hasher >
using	SignatureMap = std::unordered_map< SearchSignature, SearchSignature, SearchSignature::Hasher >
Protected Member Functions inherited from souffle::ram::analysis::MinIndexSelection
Chain	getChain (const SearchSignature umn, const MaxMatching::Matchings &match)
	@Brief get a chain from a matching More...
const ChainOrderMap	getChainsFromMatching (const MaxMatching::Matchings &match, const SearchSet &nodes)
	@Brief get all chains from the matching More...
const SearchSet	getUnmatchedKeys (const MaxMatching::Matchings &match, const SearchSet &nodes)
	@Brief get all nodes which are unmatched from A-> B More...
void	insertIndex (LexOrder &ids, SearchSignature delta)
	@Brief insert an index based on the delta More...
int	map (SearchSignature cols) const
	@Brief maps search columns to an lexicographical order (labeled by a number) More...
void	removeExtraInequalities ()
	@Brief remove arbitrary extra inequalities More...
void	updateSearch (SearchSignature oldSearch, SearchSignature newSearch)
Static Protected Member Functions inherited from souffle::ram::analysis::MinIndexSelection
static size_t	card (SearchSignature cols)
	@Brief count the number of constraints in key More...
Protected Attributes inherited from souffle::ram::analysis::MinIndexSelection
ChainOrderMap	chainToOrder
DischargeMap	dischargedMap
IndexSignatureMap	indexToSignature
MaxMatching	matching
OrderCollection	orders
SearchSet	searches
SignatureIndexMap	signatureToIndexA
SignatureIndexMap	signatureToIndexB

Detailed Description

Definition at line 33 of file matching_test.cpp.

Constructor & Destructor Documentation

TestAutoIndex()

souffle::ram::TestAutoIndex::TestAutoIndex ( )

inline

Definition at line 35 of file matching_test.cpp.

Member Function Documentation

getNumMatchings()

int souffle::ram::TestAutoIndex::getNumMatchings ( )

inline

returns number of unique matchings

Definition at line 37 of file matching_test.cpp.

                                                     {
    SearchSignature search(arity);

References i.

---

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

• ram/tests/matching_test.cpp