dlvhex  2.5.0
handle_int Struct Reference

Public Member Functions

template<typename Context >
void operator() (int i, Context &ctx, qi::unused_type) const

Detailed Description

Definition at line 177 of file DLVresultParserDriver.cpp.


Member Function Documentation

template<typename Context >
void handle_int::operator() ( int  i,
Context &  ctx,
qi::unused_type   
) const [inline]

Definition at line 180 of file DLVresultParserDriver.cpp.

References ID::termFromInteger().


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