dlvhex  2.5.0
Public Member Functions
sem< HexGrammarSemantics::termId > Struct Template Reference

Public Member Functions

void operator() (HexGrammarSemantics &mgr, const ID &source, ID &target)

Detailed Description

template<>
struct sem< HexGrammarSemantics::termId >

Definition at line 81 of file HexGrammar.tcc.

Member Function Documentation

void sem< HexGrammarSemantics::termId >::operator() ( HexGrammarSemantics &  mgr,
const ID &  source,
ID &  target 
) [inline]

Definition at line 83 of file HexGrammar.tcc.

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