sem< HexGrammarSemantics::termFromInteger > Struct Template Reference

Public Member Functions
void	operator() (HexGrammarSemantics &mgr, unsigned int source, ID &target)

---

Detailed Description

template<>
struct sem< HexGrammarSemantics::termFromInteger >

Definition at line 139 of file HexGrammar.tcc.

---

Member Function Documentation

void sem< HexGrammarSemantics::termFromInteger >::operator()	(	HexGrammarSemantics &	mgr,
		unsigned int	source,
		ID &	target
	)		[inline]

Definition at line 141 of file HexGrammar.tcc.

References HexGrammarSemantics::ctx, ProgramCtx::maxint, and ID::termFromInteger().

---

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

• include/dlvhex2/HexGrammar.tcc