|
dlvhex
2.1.0
|
Public Member Functions | |
| void | operator() (HexGrammarSemantics &mgr, const std::string &source, ID &target) |
Definition at line 79 of file HexGrammar.tcc.
| void sem< HexGrammarSemantics::termFromCIdent >::operator() | ( | HexGrammarSemantics & | mgr, |
| const std::string & | source, | ||
| ID & | target | ||
| ) | [inline] |
Definition at line 81 of file HexGrammar.tcc.
References HexGrammarSemantics::ctx, ID_FAIL(), ID::MAINKIND_TERM, ProgramCtx::registry(), and ID::SUBKIND_TERM_CONSTANT.