#include <cstddef>
#include <cstdlib>
#include <cstring>
#include <deque>
#include <filesystem>
#include <fstream>
#include <iostream>
#include <memory>
#include <mutable/IR/PlanTable.hpp>
#include <mutable/mutable.hpp>
#include <mutable/Options.hpp>
#include <mutable/util/ArgParser.hpp>
#include <random>
#include <unordered_map>
#include <unordered_set>

Include dependency graph for query_slicer.cpp:

Data Structures
struct	args_t

Macros
#define	ADD(TYPE, VAR, INIT, SHORT, LONG, DESCR, CALLBACK)

Typedefs
using	Subproblem = m::SmallBitset

Functions
void	emit_CSG_queries (std::ostream &out, const m::QueryGraph &G, const m::AdjacencyMatrix &M)

void	emit_query_slice (std::ostream &out, const m::QueryGraph &G, m::Subproblem slice)

void	usage (std::ostream &out, const char *name)

int	main (int argc, const char **argv)

Macro Definition Documentation

◆ ADD

#define ADD	(	TYPE,
		VAR,
		INIT,
		SHORT,
		LONG,
		DESCR,
		CALLBACK
	)

Value:

    VAR = INIT;\
    {\
        AP.add<TYPE>(SHORT, LONG, DESCR, CALLBACK);\
    }

Typedef Documentation

◆ Subproblem

using Subproblem = m::SmallBitset

Definition at line 21 of file query_slicer.cpp.

Function Documentation

◆ emit_CSG_queries()

void emit_CSG_queries	(	std::ostream &	out,
		const m::QueryGraph &	G,
		const m::AdjacencyMatrix &	M
	)

◆ emit_query_slice()

void emit_query_slice	(	std::ostream &	out,
		const m::QueryGraph &	G,
		m::Subproblem	slice
	)

Definition at line 122 of file query_slicer.cpp.

References m::SmallBitset::begin(), m::SmallBitset::end(), m::QueryGraph::joins(), and m::QueryGraph::sources().

Referenced by main().

◆ main()

int main	(	int	argc,
		const char **	argv
	)

Definition at line 39 of file query_slicer.cpp.

References ADD, m::SmallBitset::All(), m::ArgParser::args(), args, m::QueryGraph::Build(), emit_query_slice(), m::execute_file(), m::AdjacencyMatrix::for_each_CSG_undirected(), m::Catalog::Get(), m::Options::Get(), m::Catalog::has_database_in_use(), m::ArgParser::parse_args(), m::Options::quiet, m::statement_from_string(), and usage().

◆ usage()

void usage	(	std::ostream &	out,
		const char *	name
	)

Definition at line 32 of file query_slicer.cpp.