latex.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 query/latex.h
	* \brief Transcend solution on [Context](/d/concepts/context/) implementation details
	*/

	#ifndef LATEXQUERY_H
	#define LATEXQUERY_H

	#include "transcendlayer.h"
	#include "aux/latereasoning.h"
	#include <list>

	namespace xreate{
	namespace latex{

	typedef std::vector<std::string> Demand;

	/** \brief Queries Transcend solution on [Context](/d/concepts/context/) implementation details */
	class LatexQuery: public IQuery{
	public:
	VNameId LatexParametersOffset = 1000; //Default value. Overriden by `latex_parameters_offset` from transcend

	Demand getFnDemand(const std::string& fnName);
	latereasoning::LateAnnotation getDecision(const std::string& subject, const CodeScope* scopeCaller);
	std::list<Clingo::Symbol> getSubjectDomain(const std::string& subject);
	void init(TranscendLayer* transcend);

	private:
	TranscendLayer* __transcend;
	std::map<std::string, Demand> __demand;
	std::map<std::pair<ScopePacked, std::string>, Clingo::Symbol> __decisions;
	std::map<std::pair<ScopePacked, std::string>, latereasoning::LateAnnotation> __decisionsLate;
	std::map<std::string, std::list<Clingo::Symbol>> __domains;
	};

	}
	}

	#endif