interpretation.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/.
	*/

	/*
	* Author: pgess <v.melnychenko@xreate.org>
	* Created on June 25, 2018, 3:24 PM
	*
	* \file interpretation.h
	* \brief interpretation
	*/

	#ifndef INTERPRETATION_H
	#define INTERPRETATION_H

	#include "transcendlayer.h"

	namespace xreate{
	namespace interpretation{

	TypeAnnotation collapseColumn(const std::list<Gringo::Symbol>& symbols);
	ExpandedType dereferenceSlaveType(ExpandedType t, const TranscendLayer* transcend);
	Expression representTransExpression(const Gringo::Symbol& atom, ExpandedType schemaT, TranscendLayer* transcend);
	std::list<Expression> generateAllInstancesInDomain2(const ExpandedType& domainT);

	}
	}
	#endif /* INTERPRETATION_H */