folders.dox
No OneTemporary
Actions

Subscribers

None

File Metadata

	/**
	* \dir analysis
	* \brief Data structures and providers for analysis step. Everything that depends on reasoner Clasp API.
	*
	* \dir aux
	* \brief Auxiliary files
	*
	* \dir compilation
	* \brief Code related to compilation step. Everything that depends on compiler toolchain LLVM internals
	*
	* \dir pass
	* \brief Various passes to gather data and perforrm analysis and compilation
	*
	* \dir query
	* \brief Code for exrtacting solutions from reasoner output and influence compilation
	*/