dlvhex
2.5.0
|
Public Member Functions | |
template<typename Context > | |
void | operator() (int i, Context &ctx, qi::unused_type) const |
Definition at line 177 of file DLVresultParserDriver.cpp.
void handle_int::operator() | ( | int | i, |
Context & | ctx, | ||
qi::unused_type | |||
) | const [inline] |
Definition at line 180 of file DLVresultParserDriver.cpp.
References ID::termFromInteger().