sem< QueryParserModuleSemantics::queryBody > Struct Template Reference

Public Member Functions
void	operator() (QueryParserModuleSemantics &mgr, const boost::fusion::vector2< boost::optional< std::vector< ID > >, std::vector< ID > > &source, ID &)

---

Detailed Description

template<>
struct sem< QueryParserModuleSemantics::queryBody >

Definition at line 190 of file QueryPlugin.cpp.

---

Member Function Documentation

void sem< QueryParserModuleSemantics::queryBody >::operator()	(	QueryParserModuleSemantics &	mgr,
		const boost::fusion::vector2< boost::optional< std::vector< ID > >, std::vector< ID > > &	source,
		ID &
	)		[inline]

Definition at line 192 of file QueryPlugin.cpp.

References QueryPlugin::CtxData::allWitnesses, ProgramCtx::config, HexGrammarSemantics::ctx, QueryParserModuleSemantics::ctxdata, DBGLOG, QueryPlugin::CtxData::ground, LOG, printset(), QueryPlugin::CtxData::query, ProgramCtx::registry(), Configuration::setOption(), and WARNING().

---

The documentation for this struct was generated from the following file:

• src/QueryPlugin.cpp