utils.h
No OneTemporary
Actions

Subscribers

None

File Metadata

	/* This Source Code Form is subject to the terms of the Mozilla Public
	* License, v. 2.0. If a copy of the MPL was not distributed with this
	* file, You can obtain one at http://mozilla.org/MPL/2.0/.
	*
	* File: aux.h
	* Author: pgess <v.melnychenko@xreate.org>
	*
	* Created on June 26, 2016, 6:49 PM
	*/

	#ifndef AUX_H
	#define AUX_H

	#include "ast.h"
	#include "transcendlayer.h"

	#include <list>
	#include <boost/format.hpp>

	namespace xreate { namespace analysis {

	/**
	* \brief Compiles Xreate expression into ASP format recognizable by an external ASP solver.
	* @param e expression
	* @return textual expression's representation in an ASP format.
	*/
	std::list<std::string> compile(const Expression &e);
	std::list<std::string> compileNeg(const Expression &e);
	std::list<std::string> multiplyLists(std::list<std::list<std::string>> &&lists);

	boost::format writeSymbolNode(const SymbolNode& symbol);

	}} //end of xreate::analysis

	#endif /* AUX_H */